A Toolbox for Functional and Quantitative Analysis of DEDS
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 356-359
- https://doi.org/10.1007/3-540-68061-6_32
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hierarchical structuring of superposed GSPNsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A Toolbox for Functional and Quantitative Analysis of DEDSPublished by Springer Nature ,1998
- Numerical analysis of superposed GSPNsIEEE Transactions on Software Engineering, 1996
- SDL and Petri Net Performance Analysis of Communicating SystemsPublished by Springer Nature ,1996
- Equivalence Relations for Stochastic Automata NetworksPublished by Springer Nature ,1995
- QPN-Tool for the specification and analysis of hierarchically combined Queueing Petri netsPublished by Springer Nature ,1995