For the most recent entries see the Petri Nets Newsletter.

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

Bonnet-Torrés, Olivier; Domenech, Patrice; Lesire, Charles; Tessier, Catherine

In: Lecture Notes in Computer Science : Petri Nets and Other Models of Concurrency - ICATPN 2006, Volume 4024, 2006, pages 391-400. 2006. URL:

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography