Synchronized petri nets : A model for the description of non-autonomous sytems
- 1 January 1978
- book chapter
- Published by Springer Nature
- p. 374-384
- https://doi.org/10.1007/3-540-08921-7_85
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Synchronization and computing capabilities of linear asynchronous structuresJournal of Computer and System Sciences, 1977
- Petri nets as a common tool for design verification and hardware simulationPublished by Association for Computing Machinery (ACM) ,1976
- A design tool for the multilevel description and simulation of systems of interconnected modulesPublished by Association for Computing Machinery (ACM) ,1976
- Reduction of Petri-netsLecture Notes in Computer Science, 1976
- Macro E-Nets for Representation of Parallel SystemsIEEE Transactions on Computers, 1973
- Comments on capabilities, limitations and “correctness” of Petri netsPublished by Association for Computing Machinery (ACM) ,1973
- LOGOS and the software engineerPublished by Association for Computing Machinery (ACM) ,1972
- Legality and Other Properties of Graph Models of ComputationsJournal of the ACM, 1970
- Parallel program schemataJournal of Computer and System Sciences, 1969