Compositional Specification of a Multi-agent System by Stochastically and Dynamically Coloured Petri Nets

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.