Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Behaviour of elementary net systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Information and Computation
Diamond properties of elementary net systems
Fundamenta Informaticae
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Selected papers of the Second Workshop on Concurrency and compositionality
Handbook of logic in computer science (vol. 4)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Formal verification of parallel programs
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Invariant Semantics of Nets with Inhibitor Arcs
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Journal of Computer and System Sciences
On Semantics of Petri Nets over Partial Algebra
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Generalized Automata and Their Net Representations
Unifying Petri Nets, Advances in Petri Nets
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
Hi-index | 0.00 |
In this paper we study properties of and (as we hope) a uniform frame for Petri net models, which enables us to generalise algebra as well as enabling rule of Petri nets. Our approach of such a frame is based on using partial groupoids in Petri nets. Properties of Petri nets constructed in this manner are investigated through related labelled transition systems. In particular, we investigate the relationships between properties of partial groupoids used in Petri nets and properties of transition systems crucial for the existence of the state equation and linear algebraic techniques. We show that partial groupoids embeddable into Abelian groups play an important role in preserving these properties.