On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics
Title | On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M |
Date Published | 6 |
URL | http://webdiis.unizar.es/ cmahulea/papers/download.php?id=12 |
Export |