Exhost-PIPE v1 (stable) ZIP
features P&T-time Petri nets, modular Petri nets, hybrid Petri nets
and particle Petri nets and provides animation support for manual,
prompt-on-conflict, random and simulated time animation
modes
Exhost-PIPE v2 (β-version) ZIP
additionally features simple- and complex-coloured Petri nets
and provides animation support for real-time animation mode and socket
communication for I/O event management and dialog with other
applications
Licence
degree report on Exhost-PIPE v1 (in French) PDF
