Regular marked Petri nets

DOI10.1007/3-540-57899-4_58zbMath1528.68250MaRDI QIDQ6143982

Jörg Desel

Publication date: 5 January 2024

Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Reachability in cyclic extended free-choice systems
• Partial order behaviour and structure of Petri nets
• Petri nets with individual tokens
• Traps characterize home states in free choice systems
• Shortest paths in reachability graphs
• Properties and performance bounds for closed free choice synchronized monoclass queueing networks

This page was built for publication: Regular marked Petri nets