Towards analysis of flexible and collaborative workflow using recursive ECATNets
Kamel Barkaoui and Awatef Hicheur
Year of publication: |
2008
|
---|---|
Authors: | Barkaoui, Kamel ; Hicheur, Awatef |
Published in: |
Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007 ; revised selected papers. - Berlin : Springer, ISBN 3-540-78237-0. - 2008, p. 232-244
|
Saved in:
Saved in favorites
Similar items by person
-
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
Louati, Aymen, (2016)
-
Modeling migration of mobile agents
Borhen, Marzougui, (2013)
-
Formal verification of UML2 timing diagrams based on Time Petri Nets
Louati, Aymen, (2016)
- More ...