Refinement and simulation of nets — a categorical characterisation
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Axiomatizing net computations and processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Timing Petri Nets categoricallyPublished by Springer Nature ,1992
- Nets, Terms and FormulasPublished by Cambridge University Press (CUP) ,1991
- A Linear Specification Language for Petri NetsDAIMI Report Series, 1991
- Coloured Petri Nets: A High Level Language for System Design and AnalysisPublished by Springer Nature ,1991
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Petri NetsPublished by Springer Nature ,1985