Semi-commutations and Petri nets
From MaRDI portal
Publication:1822948
DOI10.1016/0304-3975(89)90098-4zbMath0679.68049MaRDI QIDQ1822948
Publication date: 1989
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(89)90098-4
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semi-commutations
- Mixed product and asynchronous automata
- Theory of traces
- 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
- Notes on finite asynchronous automata