Superposed Automata Nets
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Superposed Automata NetsPublished by Springer Nature ,1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Petri nets and concurrency-like relationsLecture Notes in Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- An algebra for parallelism based on petri netsPublished by Springer Nature ,1978
- Parallel program schemataJournal of Computer and System Sciences, 1969