|
 
|
[BB15] Strongly generalized soundness of Time Workflow Nets
Conférence Internationale avec comité de lecture : ACSD 2015- 15th International Conference on Application of Concurrency to System Design, October 2015, pp.10-20, Series IEEE Computer Society, Belgique,Mots clés: Time Workflow nets; state class graphs; K-soundness; (strong) ω-soundness
Résumé:
We consider here the time Workflow nets with an arbitrary large number, denoted ω of tokens in their source places and investigate the verification of their soundness. We first revisit the notion of (strong) soundness in the context of permanent and concurrent evolutions of process instances.
Then, we show how to verify (strong) ω-soundness of time workflow nets, using a forward reachability analysis
Commentaires:
to appear in
http://ieeexplore.ieee.org/
http://dblp.org
Equipe:
sys
BibTeX
| @inproceedings { | |||
| BB15, | |||
| title | = | "{Strongly generalized soundness of Time Workflow Nets}", | |
| author | = | " H. Boucheneb and K. Barkaoui ", | |
| booktitle | = | "{ACSD 2015- 15th International Conference on Application of Concurrency to System Design}", | |
| year | = | 2015, | |
| edition | = | "IEEE Computer Society", | |
| month | = | "October", | |
| series | = | "IEEE Computer Society", | |
| pages | = | "10-20", | |
| address | = | " Belgique", | |
| note | = | "{to appear in http://ieeexplore.ieee.org/ http://dblp.org}", | |
| } | |||
