Interval timed coloured petri nets and their analysis
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 453-472
- https://doi.org/10.1007/3-540-56863-8_61
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Timed high-level netsReal-Time Systems, 1991
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- MODELLING LOGISTIC SYSTEMS WITH EXSPECTPublished by Elsevier ,1991
- Synchronized elementary net systemsPublished by Springer Nature ,1990
- Coloured Petri NetsPublished by Springer Nature ,1987
- Reachability trees for high-level petri netsTheoretical Computer Science, 1986
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex ProtocolPublished by Springer Nature ,1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976