|
 
|
[BB15c] Stubborn Sets for Time Petri Nets.
Revue Internationale avec comité de lecture : Journal ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)Mots clés: Time Petri nets, stubborn set method, deadlock property
Résumé:
The main limitation of the verification approaches based on state enumeration is the state explosion problem. The partial order reduction techniques aim at attenuating this problem by reducing the number of transitions to be fired from each state while preserving properties of interest. Among the reduction techniques proposed in the literature, this article considers the stubborn set method of Petri nets and investigates its extension to time Petri nets. It establishes some useful sufficient conditions for stubborn sets, which preserve deadlocks and k-boundedness of places.
Commentaires:
http://dl.acm.org/citation.cfm?doid=2680541
BibTeX
| @article { | |||
| BB15c, | |||
| title | = | "{Stubborn Sets for Time Petri Nets.}", | |
| author | = | "H. Boucheneb and K. Barkaoui", | |
| journal | = | "ACM Trans. Embedded Comput. Syst.", | |
| year | = | 2015, | |
| volume | = | 14, | |
| number | = | 1, | |
| pages | = | "11-25", | |
| note | = | "{http://dl.acm.org/citation.cfm?doid=2680541}", | |
| doi | = | "http://dl.acm.org/citation.cfm?doid=2680541", | |
| } | |||
