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


Equipe: sys
Collaboration: ENIT


@inproceedings {
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)}",
series="CEUR Workshop Proceedings",
doi="ISSN 1613-0073",