For the most recent entries see the Petri Nets Newsletter.

A Coloured Petri Net Approach to Protocol Verification.

Billington, Jonathan; Gallasch, Guy Edward; Han, Bing

In: Lectures on Concurrency and Petri Nets: Advances in Petri Nets, pages 210-290. Volume 3098 of Lecture Notes in Computer Science / Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.) --- Springer-Verlag, June 2004.

Abstract: The correct operation of communication and co-operation protocols, including signalling systems in various networks, is essential for the reliability of the many distributed systems that facilitate our global economy. This paper presents a methodology for the formal specification, analysis and verification of protocols based on the use of Coloured Petri nets and automata theory. The methodology is illustrated using two case studies.


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

Back to the Petri Nets Bibliography