9 search results - page 1 / 2 » On the Compared Expressiveness of Arc, Place and Transition ... |
FUIN
2008
13 years 4 months ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
APN
2007
Springer
13 years 10 months ago
2007
Springer
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
ENTCS
2002
13 years 4 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
CORR
2011
Springer
12 years 8 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...