Compositional specification of a multi-agent system by stochastically and dynamically coloured Petri nets

Lecture Notes in Control and Information Sciences

Volumn 337, Issue , 2006, Pages 325-350

  Everdij, Mariken H C ^a   Klompstra, Margriet B ^a   Blom, Henk A P ^a   Obbink, Bart Klein ^a  

^a NATIONAL AEROSPACE LABORATORY NLR   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; CHEMICAL INDUSTRY; CHEMICAL OPERATIONS; PETRI NETS; RISK ASSESSMENT; SAFETY ENGINEERING; SPECIFICATIONS;

ACCIDENT RISKS; AIR TRAFFICS; COLOURED PETRI NETS; COMPOSITIONAL SPECIFICATIONS; CRITICAL OPERATIONS; MULTIPLE AGENTS; SOLUTION APPROACH; SPECIFIC PROBLEMS;

MULTI AGENT SYSTEMS;

EID: 33947650571     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/11587392_10     Document Type: Article

References (18)

1. G.J. Bakker, B. Klein Obbink, M.B. Klompstra, and H.A.P. Blom. DCPN specification of a free flight air traffic operation, working document. Technical report, National Aerospace Laboratory NLR, August 2004. HYBRIDGE WP9.2, Version 0.3, http://www.nlr.nl/public/hosted-sites/hybridge/.
2. H.A.P. Blom, M.B. Klompstra, and G.J. Bakker. Accident risk assessment of simultaneous converging instrument approaches. Air Traffic Control Quarterly, 11(2):123-155, 2003.
3. H.A.P. Blom, S.H. Stroeve, M.H.C. Everdij, and M.N.J. Van der Park. Human cognition performance model to evaluate safe spacing in air traffic. Human Factors and Aerospace Safety, 2:59-82, 2003.
4. R. David and H. Alla. Petri nets for the modeling of dynamic systems - a survey. Automatica, 30(2): 175-202, 1994.
5. M.H.C. Everdij and H.A.P. Blom. Petri nets and hybrid state Markov processes in a power-hierarchy of dependability models. Proc. IFAC Conference on Analysis and Design of Hybrid System, Saint-Malo, Brittany, France, pages 355-360, June 2003.
6. M.H.C. Everdij and H.A.P. Blom. Piecewise deterministic Markov processes represented by dynamically coloured Petri nets. Stochastics, 77(1):1-29, February 2005.
7. M.H.C. Everdij and H.A.P. Blom. Representing Generalised Stochastic Hybrid Processes through Stochastically and Dynamically Coloured Petri Nets. In H.A.P. Blom and J. Lygeros, editors, Stochastic Hybrid Systems: Theory and Applications. HYBRIDGE final report PD23 for European Commission, 2005.
8. M.H.C. Everdij, H.A.P. Blom, and M.B. Klompstra. Dynamically Coloured Petri Nets for air traffic management safety purposes. Proc. 8th IFAC Symposium on Transportation Systems, Chania, Greece, pages 184-189, 1997.
9. M. Fernandes, M. Adamski, and A.J. Proença. Vhdl generation from hierarchical Petri net specifications of parallel controller. IEE Proceedings: Computers and Digital Techniques, 144:127-137, March 1997.
10. 2 with procedures. Parallel and Distributed Software Engineering, 1997.
11. N.O. Fota, M. Kaaniche, and K. Kanoun. A modular and incremental approach for building complex stochastic Petri net models. Proc. First Int. Conf. on Mathematical Methods in Reliability, 1997.
12. P.J. Haas. Stochastic Petri Nets, Modelling, Stability, Simulation. Springer-Verlag, New York, 2002.
13. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
14. P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In G. Rozenberg, editor, Advances in Petri nets 1990. Lecture notes in Computer Science, volume 483, pages 313-341. Springer, Berlin Heidelberg New York, 1990. Also Chapter 7 in: K. Jensen and G. Rozenberg (eds), High-level Petri Nets; Theory and Application, Springer-Verlag, 1991.
15. E. Kindler. A compositional partial order semantics for Petri net components. In Pierre Azema and Gianfranco Balbo, editors, 18th International Conference on Application and Theory of Petri nets, LNCS, 1248. Springer-Verlag, June 1997.
16. P.E. Labeau, C. Smidts, and S. Swaminathan. Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliability Engineering and Systems Safety, 68:219-254, 2000.
17. B. Klein Obbink. Description of advanced operation: Free flight. Technical report, National Aerospace Laboratory NLR, 2002, 2004. HYBRIDGE WP9.1 report, http://www.nlr.nl/public/hosted-sites/hybridge/.
18. Royal Society. Risk assessment, Report of a Royal Society Study Group. Royal Society, London, 1983.