|
 
|
[BBHa09] Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets
Conférence Internationale avec comité de lecture : WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, January 2009, Vol. 5387, pp.19-36, Series LNCS,
motcle:
BibTeX
| @inproceedings { | |||
| BBHa09, | |||
| title | = | "{Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets}", | |
| author | = | " K. Barkaoui and H. Boucheneb and A. Hicheur ", | |
| booktitle | = | "{WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy}", | |
| year | = | 2009, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 5387, | |
| pages | = | "19-36", | |
| } | |||
