Timed high-level nets
- 1 May 1991
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 3 (2) , 165-189
- https://doi.org/10.1007/bf00365334
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A general way to put time in Petri netsPublished by Association for Computing Machinery (ACM) ,1989
- On the mutual simulatability of different types of Petri netsPublished by Springer Nature ,1987
- Process-translatable Petri nets for the rapid prototyping of process control systemsIEEE Transactions on Software Engineering, 1986
- Petri NetsPublished by Springer Nature ,1985
- High-Level Petri NetsInformatik-Fachberichte, 1983
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977