190 search results - page 3 / 38 » P Systems, Petri Nets, and Program Machines |
JUCS
2007
13 years 7 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
TOPLAS
1998
13 years 7 months ago
1998
BPM
2000
Springer
13 years 11 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
ICCS
2004
Springer
14 years 27 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...