941 search results - page 3 / 189 » History-Dependent Petri Nets |
87
Voted
TSMC
2002
15 years 1 months ago
2002
102
Voted
INFSOF
2002
15 years 1 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
122
click to vote
MFCS
2010
Springer
15 years 6 days ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
133
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
224
click to vote
AUTOMATICA
2011
14 years 8 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...