Timed Petri nets definitions, properties, and applications
- 1 January 1991
- journal article
- Published by Elsevier in Microelectronics Reliability
- Vol. 31 (4), 627-644
- https://doi.org/10.1016/0026-2714(91)90007-t
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Performance evaluation using unbounded timed Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Concurrent and maximally concurrent evolution of nonsequential systemsTheoretical Computer Science, 1986
- Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net FormalismIEEE Transactions on Software Engineering, 1985
- Simulation nets, a simulation modeling and validation toolSIMULATION, 1985
- The derivation of performance expressions for communication protocols from timed petri net modelsACM SIGCOMM Computer Communication Review, 1984
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Special Feature: Putting Petri Nets to WorkComputer, 1979
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976