Results 1 
8 of
8
Transactions and ZeroSafe Nets
 Advances in Petri Nets: Unifying Petri Nets, Lect. Notes in Comput. Sci. 2128
, 2001
"... When employing Petri nets to model distributed systems, one must be aware that the basic activities of each component can vary in duration and can involve smaller internal activities, i.e., that transitions are conceptually refined into transactions. We present an approach to the modeling of transac ..."
Abstract

Cited by 15 (8 self)
 Add to MetaCart
When employing Petri nets to model distributed systems, one must be aware that the basic activities of each component can vary in duration and can involve smaller internal activities, i.e., that transitions are conceptually refined into transactions. We present an approach to the modeling of transactions based on zerosafe nets. They extend ordinary pt nets with a simple mechanism for transition synchronization. We show that the net theory developed under the two most diffused semantic interpretations (collective token and individual token philosophies) can be uniformly adapted to zerosafe nets. In particular, we show that each zerosafe net has associated two pt nets which represent the abstract counterparts of the modeled system according to the two philosophies. We show several applications of the framework, a distributed interpreter for zs nets based on classical net unfolding (here extended with a commit rule) and discuss some extensions to other net flavours.
Normal Forms for Partitions and Relations
 Recent Trends in Algebraic Development Techniques, volume 1589 of Lect. Notes in Comp. Science
, 1999
"... Recently there has been a growing interest towards algebraic structures that are able to express formalisms different from the standard, treelike presentation of terms. Many of these approaches reveal a specific interest towards their application in the "distributed and concurrent systems" field, b ..."
Abstract

Cited by 14 (11 self)
 Add to MetaCart
Recently there has been a growing interest towards algebraic structures that are able to express formalisms different from the standard, treelike presentation of terms. Many of these approaches reveal a specific interest towards their application in the "distributed and concurrent systems" field, but an exhaustive comparison between them is difficult because their presentations can be quite dissimilar. This work is a first step towards a unified view, which is able to recast all those formalisms into a more general one, where they can be easily compared. We introduce a general schema for describing a characteristic normal form for many algebraic formalisms, and show that those normal forms can be thought of as arrows of suitable concrete monoidal categories.
Rewriting Logic as a Unifying Framework for Petri Nets
 Unifying Petri Nets, LNCS
, 2001
"... We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by individual tokens, test arcs, and time. Based on the idea that "Petri nets are monoids" suggested by Meseguer and Montanar ..."
Abstract

Cited by 14 (6 self)
 Add to MetaCart
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by individual tokens, test arcs, and time. Based on the idea that "Petri nets are monoids" suggested by Meseguer and Montanari we define a rewriting semantics that maps place/transition nets into rewriting logic specifications. We furthermore generalize this result to a general form of algebraic net specifications subsuming also colored Petri nets as a special case. The soundness and completeness results we state relate the commutative process semantics of Petri nets proposed by Best and Devillers to the modeltheoretic semantics of rewriting logic in the sense of natural isomorphisms between suitable functors. In addition we show how place/transition nets with test arcs and timed Petri nets can be equipped with a rewriting semantics and discuss how other extensions can be treated along similar lines.
Executing Transactions in ZeroSafe Nets
 Proceedings of ICATPN 2000, 21st Int. Conf. on Application and Theory of Petri Nets, volume 1825 of Lect. Notes in Comput. Sci
, 2000
"... Distributed systems are often composed by many heterogeneous agents that can work concurrently and exchange information. Therefore, in their modeling via pt nets we must be aware that the basic activities of each system can vary in duration and can be constituted by smaller internal activities, i.e. ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
Distributed systems are often composed by many heterogeneous agents that can work concurrently and exchange information. Therefore, in their modeling via pt nets we must be aware that the basic activities of each system can vary in duration and can be constituted by smaller internal activities, i.e., transitions are conceptually refined into transactions. We address the issue of modeling transactions in distributed systems by using zerosafe nets, which extend pt nets with a simple mechanism for transition synchronization. In particular, starting from the zerosafe net that represents a certain system, we give a distributed algorithm for executing the transactions of the system as transitions of a more abstract pt net. Among the advantages of our approach, we emphasize that the zerosafe net can be much smaller than its abstract counterpart, due to the synchronization mechanism.
On the Algebraic Structure of Petri Nets
 Bulletin of EATCS
, 2000
"... This paper retraces, collects, and summarises the contributions of the author — both individually and in collaboration with others — on the theme of algebraic, compositional approaches to the semantics of Petri nets. ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
This paper retraces, collects, and summarises the contributions of the author — both individually and in collaboration with others — on the theme of algebraic, compositional approaches to the semantics of Petri nets.
Two Algebraic Process Semantics for Contextual Nets
, 2001
"... We show that the socalled `Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable nonfree monoids of places. The algebraic characterizations of net concurrent computations we provide ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
We show that the socalled `Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable nonfree monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of readarcs.
ZeroSafe Nets: Composing Nets via Transition Synchronization
 Proceedings Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems
, 1999
"... Zerosafe nets have been introduced to extend classical Petri nets with a primitive notion of transition synchronization. To this aim, besides ordinary places, called stable, zerosafe nets are equipped with zero places, which cannot contain any token in a stable marking . An evolution between two s ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Zerosafe nets have been introduced to extend classical Petri nets with a primitive notion of transition synchronization. To this aim, besides ordinary places, called stable, zerosafe nets are equipped with zero places, which cannot contain any token in a stable marking . An evolution between two stable markings is called transaction and can be a complex computation that involves zero places, with the restriction that no stable token generated in a transaction can be reused in the same transaction. The abstract counterpart of a generic zerosafe net B consists of an ordinary pt net whose places are the stable places of B, and whose transitions are the transactions of B. The two nets offer the refined and the abstract model of the same system, where the former can be much smaller than the latter, because of the transition synchronization mechanism. Depending on the chosen approach  collective vs individual token philosophy  two notions of transaction may be defined, each leading ...
Under consideration for publication in Math. Struct. in Comp. Science Equilibrium and Termination II: the case of
, 2011
"... This paper is concerned with the asymptotic properties of a restricted class of Petri nets equipped with stochastic mass action semantics. We establish a simple algebraic criterion for the existence of an equilibrium, that is to say an invariant probability that satisfies the detailed balance condit ..."
Abstract
 Add to MetaCart
This paper is concerned with the asymptotic properties of a restricted class of Petri nets equipped with stochastic mass action semantics. We establish a simple algebraic criterion for the existence of an equilibrium, that is to say an invariant probability that satisfies the detailed balance condition familiar from the thermodynamics of reaction networks. We also find that when such a probability exists, it can be described by a free energy function which combines an internal energy term and an entropy one. Under strong additional conditions, we show how the entropy term can be deconstructed using the finergrained individualtoken semantics of Petri nets. 1.