175 search results - page 6 / 35 » On the Use of Coloured Petri Nets for Object-Oriented Design |
APN
2003
Springer
14 years 23 days ago
2003
Springer
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
ACSD
2008
IEEE
14 years 2 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
JACIII
2007
13 years 7 months ago
2007
ENTCS
2007
13 years 7 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
ESANN
2008
13 years 9 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...