Name
Title | ||
|---|---|---|
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks |
Abstract | ||
|---|---|---|
This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1023/B:JIMS.0000026573.94990.d5 | J. Intelligent Manufacturing |
Keywords | Field | DocType |
Discrete event systems,automatic synthesis of models,logic controller specification,flexible manufacturing systems,Petri nets,sequential functional chart | Control theory,Petri net,Programming language,Manufacturing systems,Computer science,Input/output,Formal specification,Artificial intelligence,Machine learning,AND gate,Reliability engineering | Journal |
Volume | Issue | ISSN |
15 | 3 | 1572-8145 |
Citations | PageRank | References |
7 | 0.59 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francesco Basile | 1 | 161 | 11.25 |
| Pasquale Chiacchio | 2 | 421 | 46.31 |
| valeria vittorini | 3 | 339 | 33.14 |
| Nicola Mazzocca | 4 | 674 | 78.37 |