SDL and Petri Net Performance Analysis of Communicating Systems
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- QPN-Tool for qualitative and quantitative analysis of queueing Petri netsPublished by Springer Nature ,1994
- Estelle, LOTOS und SDLPublished by Springer Nature ,1989