Semantics, composition and net properties of algebraic high-level nets
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 93-117
- https://doi.org/10.1007/bfb0019971
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Fundamentals of Algebraic Specification 2Published by Springer Nature ,1990
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Analysing Nets by the Invariant MethodPublished by Springer Nature ,1987
- Petri nets with individual tokensTheoretical Computer Science, 1985
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Petri NetsPublished by Springer Nature ,1985
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Categories for the Working MathematicianPublished by Springer Nature ,1971