Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Petri nets are monoidsInformation and Computation, 1990
- Analyse von Petri-Netz-ModellenPublished by Springer Nature ,1990
- Petri NetsPublished by Springer Nature ,1985
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981