A Toolbox for Functional and Quantitative Analysis of DEDS
Authors:
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 356-359
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Toolbox for Functional and Quantitative Analysis of DEDS1998
- Numerical analysis of superposed GSPNsIEEE Transactions on Software Engineering, 1996
- SDL and Petri Net Performance Analysis of Communicating Systems1996
- Equivalence Relations for Stochastic Automata Networks1995
- QPN-Tool for the specification and analysis of hierarchically combined Queueing Petri nets1995