Compatibility Analysis of Time Open Workflow Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Compatibility Analysis of Time Open Workflow Nets

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.
Fichier non déposé

Dates et versions

hal-01126578 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126578 , version 1

Citer

Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb. Compatibility Analysis of Time Open Workflow Nets. International Workshop on Petri Nets and Software Engineering (PNSE 2014), Jun 2014, X, France. pp.249-268. ⟨hal-01126578⟩
48 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More