13 search results - page 1 / 3 » concur 1999 |
CONCUR
1999
Springer
13 years 8 months ago
1999
Springer
CONCUR
1999
Springer
13 years 8 months ago
1999
Springer
CONCUR
1999
Springer
13 years 8 months ago
1999
Springer
CONCUR
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
CONCUR
1999
Springer
13 years 8 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...