OPNets: An object-oriented high-level Petri net model for real-time system modeling
- 31 January 1993
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 20 (1) , 69-86
- https://doi.org/10.1016/0164-1212(93)90049-4
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Petri net tools for the specification and analysis of discrete controllersIEEE Transactions on Software Engineering, 1990
- SAGE: A decision support system for the sequencing of operations within a robotic workcellDecision Support Systems, 1988
- A comparison of techniques for the specification of external system behaviorCommunications of the ACM, 1988
- PROTEAN: a high-level Petri net tool for the specification and verification of communication protocolsIEEE Transactions on Software Engineering, 1988
- Process-translatable Petri nets for the rapid prototyping of process control systemsIEEE Transactions on Software Engineering, 1986
- SREM at the Age of Eight; The Distributed Computing Design SystemComputer, 1985
- Hierarchical reduction method for analysis and decomposition of Petri netsIEEE Transactions on Systems, Man, and Cybernetics, 1985
- Distributed Software System Design Representation Using Modified Petri NetsIEEE Transactions on Software Engineering, 1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981