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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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