Abstract
For safety-critical operations in the nuclear and chemical industries, Petri nets have proven to be useful for the compositional specification of appropriate accident risk assessment models. For air traffic operations, the development of such model is more challenging due to the high distribution of and complex interactions between the multiple agents involved. The specific problems are: A) Need for a hierarchy from low level Petri nets to the complete Petri net; B) Duplication of arcs and transitions within a low level Petri net; C) Cluttering of interconnections. The chapter develops adequate solutions for each of these problems. The solution approaches are first explained graphically, and next formally. The approach developed is illustrated for an air traffic operation example.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
About this chapter
Cite this chapter
Everdij, M.H., Klompstra, M.B., Blom, H.A., Klein Obbink, B. Compositional Specification of a Multi-agent System by Stochastically and Dynamically Coloured Petri Nets. In: Blom, H.A.P., Lygeros, J. (eds) Stochastic Hybrid Systems. Lecture Notes in Control and Information Science, vol 337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11587392_10
Download citation
DOI: https://doi.org/10.1007/11587392_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33466-8
Online ISBN: 978-3-540-33467-5
eBook Packages: EngineeringEngineering (R0)