Petri nets for modeling of dynamic systems
- 1 February 1994
- journal article
- Published by Elsevier in Automatica
- Vol. 30 (2) , 175-202
- https://doi.org/10.1016/0005-1098(94)90024-8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Asymptotic continuous Petri netsDiscrete Event Dynamic Systems, 1993
- A unified modeling of Kanban systems using petri netsInternational Journal of Flexible Manufacturing Systems, 1991
- Synthesis of feedback control logic for a class of controlled Petri netsIEEE Transactions on Automatic Control, 1990
- Petri nets and flexible manufacturingPublished by Springer Nature ,1990
- Performance evaluation of job-shop systems using timed event-graphsIEEE Transactions on Automatic Control, 1989
- Petri Nets Theory for the Correctness of ProtocolsIEEE Transactions on Communications, 1982
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Parallel program schemataJournal of Computer and System Sciences, 1969