In: Lecture Notes in Computer Science : Petri Nets and Other Models of Concurrency - ICATPN 2006, Volume 4024, 2006, pages 391-400. 2006. URL: http://dx.doi.org/10.1007/1176758922.
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.