Special Feature: Putting Petri Nets to Work
- 1 December 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 12 (12), 85-94
- https://doi.org/10.1109/mc.1979.1658580
Abstract
Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's. Petri nets may offer a solution.Keywords
This publication has 13 references indexed in Scilit:
- A Synthesis Rule for Concurrent SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- Model, Design, and Evaluation of a Compiler for a Parallel Processing EnvironmentIEEE Transactions on Software Engineering, 1977
- Some extended semaphore primitivesActa Informatica, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Petri nets as a common tool for design verification and hardware simulationPublished by Association for Computing Machinery (ACM) ,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
- A Petri Net model of the CDC 6400Published by Association for Computing Machinery (ACM) ,1971