Abstract
This chapter describes a project accomplished by Jens L. Rasmussen, Mejar Singh, and Søren Christensen, Aarhus University, Denmark, in cooperation with Torben Andersen, Klaus L. Nielsen, and Søren V. Hansen, Dalcotech A/S, Nørresundby, Denmark, and John Mølgaard, Delta Software Engineering, Hørsholm, Denmark. The chapter is based upon the material presented in [46]. The project was conducted in 1995.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jensen, K. (1997). Security System. In: Coloured Petri Nets. Monographs in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60794-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-60794-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64556-3
Online ISBN: 978-3-642-60794-3
eBook Packages: Springer Book Archive