EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets

Authors:
Olivier Bonnet-Torrés;Patrice Domenech;Charles Lesire;Catherine Tessier
Affiliations:
ONERA-CERT/DCSD, Toulouse, France;Onera-DCSD for a training period Feb-June;ONERA-CERT/DCSD, Toulouse, France;ONERA-CERT/DCSD, Toulouse, France
Venue:
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Year:
2006

Citing 6
Cited 1

From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Hierarchies in coloured Petri nets

Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Towards a Modular Analysis of Coloured Petri Nets

Proceedings of the 13th International Conference on Application and Theory of Petri Nets
From team plan to individual plans: a petri net-based approach

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Estimation and conflict detection in human controlled systems

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Particle petri nets for aircraft procedure monitoring under uncertainty

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets

ACM SIGMETRICS Performance Evaluation Review

Quantified Score

Hi-index	0.00

Visualization

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.