Axiomatizing net computations and processes
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 175-185
- https://doi.org/10.1109/lics.1989.39172
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Petri nets are monoids: a new algebraic foundation for net theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Petri NetsPublished by Springer Nature ,1985
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Behaviours of concurrent systemsTheoretical Computer Science, 1980