Petr nets, algebras, morphisms, and compositionality
Information and Computation
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
Axiomatizing net computations and processes
Proceedings of the Fourth Annual Symposium on Logic in computer science
Information and Computation
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Branching processes of Petri nets
Acta Informatica
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
Communication and Concurrency
Deterministic Behavioural Models for Concurrency
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Completeness Results for Linear Logic on Petri Nets
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A Trace Semantics for Petri Nets (Extended Abstract)
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
A New Definition of Morphism on Petri Nets
STACS '84 Proceedings of the Symposium of Theoretical Aspects of Computer Science
On the Category of Petri Net Computations
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
On the Semantics of Petri Nets
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Homology of Higher Dimensional Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A Generalized Event Structure for the Muller Unfolding of a Safe Net
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Local Event Structures and Petri Nets
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Domains of Higher-Dimensional Automata
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
On the Model of Computation of Place/Transition Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
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
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
Formal and natural computing
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Unfolding semantics of graph transformation
Information and Computation
Faster Unfolding of General Petri Nets Based on Token Flows
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Workshop on Petri Nets and Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae - Petri Nets 2008
Unfolding grammars in adhesive categories
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Abstract processes of place/transition systems
Information Processing Letters
On causal semantics of Petri nets
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Workshop on petri nets and graph transformations
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Factorization properties of symbolic unfoldings of colored petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae - Petri Nets 2008
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Hi-index | 0.00 |
Place/transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the ‘token game’ is too intensional, even in its more abstract interpretations in terms of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding construction, which provides a coreflection between nets and finitary prime algebraic domains, works only for safe nets. In this paper we extend Winskel's result to PT nets. We start with a rather general category PTNets of PT nets, we introduce a category DecOcc of decorated (nondeterministic) occurrence nets and we define adjunctions between PTNets and DecOcc and between DecOcc and Occ, the category of occurrence nets. The role of DecOcc is to provide natural unfoldings for PT nets, i.e., acyclic safe nets where a notion of family is used to relate multiple instances of the same place. The unfolding functor from PTNets to Occ reduces to Winskel's when restricted to safe nets. Moreover, the standard coreflection between Occ and Dom, the category of finitary prime algebraic domains, when composed with the unfolding functor above, determines a chain of adjunctions between PTNets and Dom.