For the most recent entries see the Petri Nets Newsletter.

Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets.

Shatz, S.M.; Suzuki, T.; Murata, Tadao

In: Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989, Orlando, FL, USA, pages 580-587. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.

Abstract: An approach for automated modeling and verification of communication protocols is presented. A language that specifies input/output behavior of protocol entities is introduced as the starting point, and some verification of the specifications is discussed. Further verification is aided by translation of the specifications to a timed Petri net model.

Keywords: communication protocol; timed net; entity-based specification language; modelling (and) verification, (automated).


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography