Nets, sequential components and concurrency relations

DOI10.1016/0304-3975(84)90014-8zbMath0546.68039OpenAlexW1995726142MaRDI QIDQ797994

Ryszard Janicki

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90014-8

zbMATH Keywords

decompositionPetri netsdensitiesconcurrencyfinite state machinesmarking classsequential components

Mathematics Subject Classification ID

Related Items (4)

Accelerating the computation of dead and concurrent places using reductions ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Transforming sequential systems into concurrent systems ⋮ Efficient algorithms for three reachability problems in safe Petri nets

Cites Work

• Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
• Mathematical aspects of net theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nets, sequential components and concurrency relations