References
- Gu , G. and Luo , J. (1994) . EPr/TN net system and formal description techniques of protocols . Chinese Journal of Computer, Beijing , 17 : 93 – 96 .
- Luo , J. , Gu , G. and Xie , J. (1997) . Protocol analyzer using Petri nets . Chinese Journal of Computer, Beijing , 20 : 206 – 212 .
- Gu G. Gong J. (1989) Computer Networks Jiangsu Science and Technology Publishing House Nanjing
- Diaz M. (1982) Modeling and analysis of communication and cooperation protocols using Petri net based models Computer Networks North-Holland Publishing Company Amsterdam pp. 419–441
- Diaz M. (1988) Petri net based models in the specification and verification of protocols In: Brauer, W. (Ed.) Petri Nets: Application and Relationships to Other Models of Concurrency Springer-Verlag Berlin pp. 135–170
- Shen , J. , Luo , J. and Gu , G. (1998) . Redundant concurrentable successor markings in the reachability analysis of EPr/TN net . Computer Research and Development, Beijing , 35 : 251 – 254 .
- Leveson , N. G. and Stolzy , J. L. (1987) . Safety analysis using Petri nets . IEEE Trans. Software Engineering , 13 ( 3 ) : 386 – 397 .
- Andre C. (1991) Delays in synchronized elementary net systems In: Rozenberg, G. (Ed.) Advances in Petri Nets Springer-Verlag Berlin pp. 1–28
- Ramchandani C. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets M.I.T. Cambridge MA TR-120 974 p.
- Coolahan , J. E. and Roussopoulos , N. (1983) . Timing requirements for time-driven system using augmented Petri nets . IEEE Trans. Software Engineering , 9 ( 5 ) : 603 – 616 .
- Donatelli S. Kleijin J. (1999) Application and Theory of Petri Nets 1999 LNCS, Springer-Verlag Berlin
- Billington J. Diaz M. Rozenberg G. (1999) Application of Petri Nets to Communication Networks Springer-Verlag Berlin
- Blakowski G. Steinmetz R. (1996) A media synchronization survey: Reference model, specification and case studies IEEE Journal on Selected Areas in Communications 1 3 35
- Diaz , M. (1997) . From multimedia models to multimedia transport protocols . Computer Networks and ISDN Systems , 29 : 745 – 758 .