Modeling concurrency with partial orders
International Journal of Parallel Programming
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
On the interrelation between synchronized and non-synchronized behaviour of Petri Nets
Journal of Information Processing and Cybernetics
The equational theory of pomsets
Theoretical Computer Science
The semantics of capacities in P/T nets
Advances in Petri nets 1989
Information and Computation
Theoretical Computer Science
On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
A technique of state space search based on unfolding
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Information and Computation
An axiomatization of the algebra of Petri net concatenable processes
Theoretical Computer Science
On causality semantics of nets with priorities
Fundamenta Informaticae
A signal extension for Petri nets and its use in controller
Fundamenta Informaticae
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Partial order semantics and read arcs
Theoretical Computer Science
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Processes of Place/Transition-Nets
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Axioms for Contextual Net Processes
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
An Improvement of McMillan's Unfolding Algorithm
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
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
Partial words versus processes: a short comparison
Advances in Petri Nets 1992, The DEMON Project
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
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Process semantics of general inhibitor nets
Information and Computation
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
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
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hi-index | 0.00 |
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/transition nets.