Partial order behaviour and structure of Petri nets

DOI10.1007/BF01888220MaRDI QIDQ911779zbMATH OpenFDO

Authors Eike Best, Jörg Desel

Publication date 1990

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

partial orderstrue concurrencyfree choice Petri nets

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• Sequential and concurrent behaviour in Petri net theory
• Partial Order Semantics of Types of Nets
• Structure theory of Petri nets
• scientific article; zbMATH DE number 4031000
• scientific article; zbMATH DE number 3974312

Cites work

• scientific article; zbMATH DE number 3878369 (Why is no real title available?)
• scientific article; zbMATH DE number 4033101 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• A fresh look at free choice nets
• Modeling concurrency with partial orders
• Sequential and concurrent behaviour in Petri net theory
• The non-sequential behaviour of Petri nets

Cited in

(24)

• Executions: A new partial-order semantics of Petri nets
• Compositional generation of home states in free choice nets
• Hasse diagram generators and Petri nets
• scientific article; zbMATH DE number 3878369 (Why is no real title available?)
• A polynomial-time algorithm to decide liveness of bounded free choice nets
• Regular marked Petri nets
• scientific article; zbMATH DE number 1836392 (Why is no real title available?)
• Adjunct partial array token Petri net structure
• Partial array token Petri net and \(P\) system
• Untanglings: a novel approach to analyzing concurrent systems
• Modular construction and partial order semantics of Petri nets
• Canonizable partial order generators
• scientific article; zbMATH DE number 149517 (Why is no real title available?)
• Partial Order Semantics of Types of Nets
• Reachability in cyclic extended free-choice systems
• Hasse Diagram Generators and Petri Nets
• scientific article; zbMATH DE number 4098730 (Why is no real title available?)
• scientific article; zbMATH DE number 18633 (Why is no real title available?)
• Complexity results for 1-safe nets
• MSO logic and the partial order semantics of place/transition-nets
• Traps characterize home states in free choice systems
• scientific article; zbMATH DE number 4031000 (Why is no real title available?)
• Weakly UDO semirings and Korczyński nets over them
• A partial trace semantics for Petri nets

This page was built for publication: Partial order behaviour and structure of Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911779)