Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
The semantics of capacities in P/T nets
Advances in Petri nets 1989
Information and Computation
Information and Computation
A signal extension for Petri nets and its use in controller
Fundamenta Informaticae
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
Axioms for Contextual Net Processes
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
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
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
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
Unifying Petri Nets, Advances in Petri Nets
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Partial Order Semantics of Types of Nets
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Formal Methods in Software and Systems Modeling
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Hi-index | 0.00 |
Partial algebra is a suitable tool to define sequential semantics for arbitrary restrictions of the occurrence rule, such as capacity or context restrictions. This paper focuses on non-sequential process semantics of Petri nets over partial algebras. It is shown that the concept of partial algebra is suitable as a basis for process construction of different classes of Petri nets taking dependencies between processes that restrict concurrent composition into consideration.Thus, Petri nets over partial algebra provide a unifying framework for Petri net classes in which some processes cannot be executed concurrently, such as elementary nets with context. We will illustrate this claim proving a one-to-one correspondence between processes constructed using partial algebra and processes based on partial orders for elementary nets with context. Furthermore, we provide compositional process term semantics using the presented framework for place/transition nets with (both weak and strong) capacities and place/transition nets with inhibitor arcs.