2006 | OriginalPaper | Buchkapitel
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
verfasst von : Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier
Erschienen in: Petri Nets and Other Models of Concurrency - ICATPN 2006
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.