189 search results - page 5 / 38 » The unfolding of general Petri nets |
101
Voted
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
137
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
118
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
118
Voted
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
140
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...