189 search results - page 13 / 38 » The unfolding of general Petri nets |
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
APN
2006
Springer
14 years 13 days ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
APN
2001
Springer
14 years 1 months ago
2001
Springer
FOCS
1998
IEEE
14 years 29 days ago
1998
IEEE
APN
1994
Springer
14 years 24 days ago
1994
Springer
