941 search results - page 3 / 189 » History-Dependent Petri Nets |
TSMC
2002
13 years 5 months ago
2002
INFSOF
2002
13 years 5 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
MFCS
2010
Springer
13 years 4 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
CORR
2011
Springer
12 years 9 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...
AUTOMATICA
2011
13 years 20 days ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...