Loading...
Please wait, while we are loading the content...
Similar Documents
Equivalence notions and refinement for timed Petri nets ?
| Content Provider | Semantic Scholar |
|---|---|
| Author | Virbitskaite, Irina Tarasyuk, Igor V. |
| Copyright Year | 2003 |
| Abstract | The paper is contributed to develop a family of equivalence notions for real-time systems represented by labelled Merlin’s time Petri nets with zero length time intervals (i.e., with fixed time delays). We call them “timed Petri nets”. In particular, we introduce timed (time-sensitive), untimed (time-abstracting) and region (based on the notion of region [1]) equivalences in both the trace and bisimulation semantics. The interrelations of all the equivalence notions are examined for a general class of timed nets as well as for a subclass of untimed nets (timed nets with time delays equal to zero’s). Further we define a timed variant of state-mashine refinement [4] and investigate how the proposed equivalence notions behave with respect to this class of refinements. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://db.iis.nsk.su/persons/itar/eqtimncc.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
