Formal Modeling and Analysis of Flexible Automated Production Workflows - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Formal Modeling and Analysis of Flexible Automated Production Workflows

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01125425 , version 1

Cite

Awatef Hicheur, Kamel Barkaoui. Formal Modeling and Analysis of Flexible Automated Production Workflows. CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria, Jan 2007, X, France. pp.45-56. ⟨hal-01125425⟩

Collections

CNAM CEDRIC-CNAM
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More