Parallel systems specifications with coloured Petri nets and algebraic specifications
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 293-308
- https://doi.org/10.1007/3-540-18086-9_31
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- Stepwise construction of non-sequential software systems using a net-based specification languagePublished by Springer Nature ,1985
- Csp-programs as nets with individual tokensPublished by Springer Nature ,1985
- S-invariance in Predicate/Transition NetsPublished by Springer Nature ,1983
- High-Level Petri NetsInformatik-Fachberichte, 1983
- Semaphore primitives and starvation-free mutual exclusionJournal of the ACM, 1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Algebraic Specification of Communication ProtocolsPublished by Defense Technical Information Center (DTIC) ,1981
- A note on colored Petri netsInformation Processing Letters, 1980
- Communicating sequential processesCommunications of the ACM, 1978