For the most recent entries see the Petri Nets Newsletter.

Designing a Security System by Means of Coloured Petri Nets.

Rasmussen, Jens Linneberg; Singh, Mejar

In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 400-419. Springer-Verlag, June 1996. Available at http://www.daimi.au.dk/CPnets/publ/full-papers/RasSin1996.pdf.

Abstract: In this paper, we present an industrial use of Coloured Petri Nets (CP-nets) in designing a security system. An animation utility was developed which made it possible to perform user-friendly CP-net simulations. Furthermore, occurrence graphs (also known as reachability graphs and state spaces) were used for debugging the CP-net. In this way, a series of errors in the model were found and corrected. The CP-net design is used as a specification of the implementation of the security system. Therefore, finding errors by means of simulations and occurrence graph analysis reduces the amount of errors in the final implementation - making the software quality higher, which is the goal of the project.


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

Back to the Petri Nets Bibliography