Petri nets: an introduction
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Branching processes of Petri nets
Acta Informatica
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Models for concurrency: towards a classification
Theoretical Computer Science
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Categories of Models for Concurrency
Seminar on Concurrency, Carnegie-Mellon University
On the Semantics of Petri Nets
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Obseving Behaviour Categorically
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Elements of General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Petri Nets and Other Models of Concurrency
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
On the Abstraction of Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Net Morphisms and Software Engineering
Selected Papers from the First and the Second European Workshop on Application 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
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Reverse Engineering with Petri Nets
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
An Object Oriented Petri Net Language for Embedded System Design
STEP '97 Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97)
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Branching Processes of General Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Hi-index | 5.23 |
This work builds a bridge from • clustering techniques--merging neighbouring nodes which is a key feature for software engineering and the practical applications of Petri nets--to • folding techniques--merging only transitions with transitions and places with places, preserving behaviour and allowing theoretical connections to many models of concurrency.A new category of Petri nets is introduced. Morphisms support clustering, offering attractive properties to software engineering and integrating smoothly with invariants. A computationally reasonable adjunction connects it to folding-based Petri nets, namely, to two new cocomplete and complete categories. The dichotomy of structure and behaviour of Petri nets is expressed as compatible adjunctions to behavioural categories. Finally reachability and process semantics are attached categorically and a new variant of occurrence nets is proposed as a purer image of causality and branching. This framework offers categorical support for practical applications of Petri nets.