|
 
|
[HBa07] Formal Modeling and Analysis of Flexible Automated Production Workflows
Conférence Internationale avec comité de lecture : CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria, January 2007, pp.45-56,
motcle:
Résumé:
The aim of this paper is to show the relevance of our model, namely Recursive ECATNets ("RECATNets") in the modeling and analysis of flexible workflows in manufacturing systems. Recursive ECATNets are defined on the basis of a sound combination of ECATNets (Extended Concurrent Algebraic Term Nets) and Recursive Petri nets. Moreover, since RECATNets semantics is defined in the conditional rewriting logic framework, the use of formal verification techniques to prove liveness and safety properties becomes possible.
BibTeX
| @inproceedings { | |||
| HBa07, | |||
| title | = | "{Formal Modeling and Analysis of Flexible Automated Production Workflows}", | |
| author | = | " A. Hicheur and K. Barkaoui ", | |
| booktitle | = | "{CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria}", | |
| year | = | 2007, | |
| month | = | "January", | |
| pages | = | "45-56", | |
| } | |||
