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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Søren Christensen and Kurt Jensen. Design/CPN Occurrence Graph Tool, User's Manual (vers. 1.0). Computer Science Department, Aarhus University, 1995.
Meta Software Corporation, Cambridge, MA, USA. Design/CPN Reference Manual for the Macintosh (vers. 2.0), 1993.
Dalcotech A/S. PRISMA C-91 System Manual, 1994.
Dalcotech A/S. PRISMA C-96 Requirements Specification, 1 edition, 1995.
Torben B. Haagh and Tommy R. Hansen. Optimising a Coloured Petri Net Simulator. Master's thesis, Computer Science Department, Aarhus University, 1994.
Kurt Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use, Volume 1. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.
Kurt Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use, Volume 2. Monographs in Theoretical Computer Science. Springer-Verlag, 1994.
Xavier Leroy. The Caml Light System, Release 0.7. Documentation and User's Manual. INRIA, France. Available at ftp.inria.fr in directory lang/caml-light, 1995.
Meta Software Corporation, Cambridge, MA, USA. Design/CPN Internal Functions Programmer's Reference (vers. 2.0), 1993.
Jens L. Rasmussen and Mejar Singh. Mimic/CPN, A Graphical Animation Utility for Design/CPN (vers. 1.5). Computer Science Department, Aarhus University, 1995.
Sergei Romanenko and Peter Sestoft. Moscow ML Owner's Manual (vers. 1.31). Available at ftp.dina.kvl.dk in directory pub/mosml, 1995.
Jeffrey D. Ullman. Elements of ML Programming. Prentice-Hall International Editions, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rasmussen, J.L., Singh, M. (1996). Designing a security system by means of Coloured Petri Nets. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_22
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive