[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.



@inproceedings {
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}",
series=" Lecture Notes in Computer Science",
volume=Volume 11022,
address="Beijing, China",