|
 
|
[BB18a] On Persistency in Time Petri Nets
Conférence Internationale avec comité de lecture : International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, August 2018, Vol. Volume 11022, pp.108-124, Series Lecture Notes in Computer Science, Beijing, China,Mots clés: Time Petri Nets - Persistency
Résumé:
A transition of a (time) Petri net is persistent if once it is enabled, it can never become disabled through occurrences of other transitions until it is fired. It is said to be effect-persistent if it is persistent and its effect (The effect of an enabled transition t in a marking M is defined by the set of transitions newly enabled by firing t.) is not affected by firing other transitions. This paper investigates some sufficient conditions for persistency and effect-persistency of transitions, in the context of time Petri nets (TPNs for short) that depend on the marking and the static/dynamic time information of the model. Then, it shows how to use these sufficient conditions to improve the partial order reduction technique of the TPN model.
Commentaires:
https://link.springer.com/chapter/10.1007/978-3-030-00151-3_7
BibTeX
| @inproceedings { | |||
| BB18a, | |||
| title | = | "{On Persistency in Time Petri Nets}", | |
| author | = | " K. Barkaoui and H. Boucheneb ", | |
| booktitle | = | "{International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018}", | |
| year | = | 2018, | |
| edition | = | "Springer", | |
| month | = | "August", | |
| series | = | " Lecture Notes in Computer Science", | |
| volume | = | Volume 11022, | |
| pages | = | "108-124", | |
| address | = | "Beijing, China", | |
| note | = | "{ https://link.springer.com/chapter/10.1007/978-3-030-00151-3_7}", | |
| } | |||
