Advertisement

Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets

  • Olivier Bonnet-Torrés
  • Patrice Domenech
  • Charles Lesire
  • Catherine Tessier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)

Abstract

This paper presents the Exhost-PIPE software: an extension of PIPE – Platform Independent Petri net Editor – that complies with our own specifications. The new version supports the two kinds of Petri nets we have developed: particle Petri nets and plan Petri nets. Exhost-PIPE also supports colours, modularity, time, guards, differential equations...The Petri net player has been extended and specific algorithms (such as an estimation process and specific reduction rules) have been implemented as plug-in modules.

Keywords

Multiagent System Reduction Rule Team Plan Numerical Place Toulouse Cedex 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bloom, J., Clark, C., Clifford, C., Duncan, A., Khan, H., Papantoniou, M.: Platform Independent Petri-net Editor – final report. Technical report, Imperial College, London, UK (2003) Under the supervision of W. KnottenbeltGoogle Scholar
  2. 2.
    Lesire, C., Tessier, C.: Particle Petri nets for aircraft procedure monitoring under uncertainty. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 329–348. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Lesire, C., Tessier, C.: Estimation and conflict detection in human controlled systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 407–420. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Bonnet-Torrès, O., Tessier, C.: From teamplan to individual plans: a Petri net-based approach. In: AAMAS 2005, 4th International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands (2005)Google Scholar
  5. 5.
    Bonnet-Torrès, O., Tessier, C.: From multiagent plan to individual agent plans. In: ICAPS 2005, International Conference on Automated Planning & Scheduling, Workshop on Multiagent Planning and Scheduling, Monterey, CA (2005)Google Scholar
  6. 6.
    Christensen, S., Petrucci, L.: Towards a modular analysis of coloured Petri nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616. Springer, Heidelberg (1992)Google Scholar
  7. 7.
    Lakos, C.: From coloured Petri nets to object Petri nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935. Springer, Heidelberg (1995)Google Scholar
  8. 8.
    Huber, P., Jensen, K., Shapiro, R.: Hierarchies in coloured Petri nets. In: ATPN 1989, 10th International Conference on Application and Theory of Petri Nets, Bonn, Germany (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Olivier Bonnet-Torrés
    • 1
    • 2
  • Patrice Domenech
    • 3
  • Charles Lesire
    • 1
    • 2
  • Catherine Tessier
    • 1
  1. 1.ONERA-CERT/DCSDToulouseFrance
  2. 2.ENSAE-SupaeroToulouseFrance
  3. 3.Onera-DCSD for a training period Feb-June 2005 

Personalised recommendations