On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics

TitleOn sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics
Publication TypeConference Paper
Year of Publication2006
AuthorsMahulea, C, Giua A, Recalde L, Seatzu C, Silva M
Date Published6
URLhttp://webdiis.unizar.es/ cmahulea/papers/download.php?id=12
Export