|
 
|
[SBBa14] Compatibility Analysis of Time Open Workflow Nets
Conférence Internationale avec comité de lecture : International Workshop on Petri Nets and Software Engineering (PNSE 2014), June 2014, Vol. 1160, pp.249-268, Series CEUR Workshop Proceedings, (DOI: ISSN 1613-0073)Mots clés: Time open workflow nets, Reachability analysis, Compatibility,TCTL
Résumé:
Because of their expressive power, Petri nets are widely used in the context of concurrent and distributed systems. We study in this
paper a sub class of time Petri nets, named time open workflow nets (ToWF-nets), used to interconnect time constrained business processes. To interact correctly with each other, these processes have to be compatible.This include not only composability of the involved processes but also the correct execution of the overall composite system. In this context,we suggest in this paper to study the compatibility of ToWF-nets in different aspects and to provide a formal approach to characterize and
verify this property. This approach is based on qualitative and quantitative analysis ensured by TCTL model checking.
Commentaires:
http://ceur-ws.org/Vol-1160/
Equipe:
sys
Collaboration:
ENIT
BibTeX
| @inproceedings { | |||
| SBBa14, | |||
| title | = | "{Compatibility Analysis of Time Open Workflow Nets}", | |
| author | = | " Z. Sbaï and K. Barkaoui and H. Boucheneb ", | |
| booktitle | = | "{ International Workshop on Petri Nets and Software Engineering (PNSE 2014)}", | |
| year | = | 2014, | |
| month | = | "June", | |
| series | = | "CEUR Workshop Proceedings", | |
| volume | = | 1160, | |
| pages | = | "249-268", | |
| note | = | "{http://ceur-ws.org/Vol-1160/}", | |
| doi | = | "ISSN 1613-0073", | |
| } | |||
