26 search results - page 1 / 6 » A Cooperative Petri Net Editor |
COOPPN
2001
Springer
13 years 9 months ago
2001
Springer
APN
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
ATVA
2009
Springer
13 years 8 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
QEST
2007
IEEE
13 years 11 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
CRV
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...