Petri nets: an introduction
Petr nets, algebras, morphisms, and compositionality
Information and Computation
Behaviour preserving refinements of Petri nets
International Workshop WG '86 on Graph-theoretic concepts in computer science
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Information and Computation
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science
Process versus unfolding semantics for place/transition Petri nets
Theoretical Computer Science - Special volume on Petri nets
An axiomatization of the algebra of Petri net concatenable processes
Theoretical Computer Science
Zero-safe nets: comparing the collective and individual token approaches
Information and Computation - Special issue on EXPRESS 1997
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Zero-safe nets: The individual token approach
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
A Uniform Approach to Petri Nets
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Representation Theorems for Petri Nets
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
General Refinement and Recursion Operators for the Petri Box Calculus
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Modelling Concurrent Accesses to Shared Data via Petri Nets
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Petri Nets, Configuration Structures and Higher Dimensional Automata
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Comments on capabilities, limitations and “correctness” of Petri nets
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Towards a Notion of Transaction in Graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Synthesis of Zero-Safe Nets
Concurrency, Graphs and Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Process discovery and petri nets†
Mathematical Structures in Computer Science
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
Hi-index | 0.00 |
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 zero-safe nets. They extend ordinary pt nets with a simple mechanism for transition synchronization. We show that the net theory developed under the two most widely adopted semantic interpretations (collective token and individual token philosophies) can be uniformly adapted to zero-safe nets. In particular, we show that each zero-safe net has two associated pt nets that represent the abstract counterparts of the modeled system according to these 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 to show that the concept of zero place provides a unifying notion of transaction for several different kinds of Petri nets.