A knowledge-based tool for the automated synthesis of Petri nets for manufacturing systems

Castillo, Luis; Fdez-Olivares, Juan; González, Alberto Benjamín Diez

doi:10.1109/etfa.1999.815415

“…It is worth noting that these control sequences can be translated into a Grafcet chart (Castillo et al 2000b ) or into a Petri net (Castillo et al 2000c), which can be directly implemented by a control engineer in most industrial control systems.…”

Section: Methodsmentioning

confidence: 99%

“…These complete plans are called control sequences and they may be seen as the control algorithm. Later, the lower level of Ma c h i n e exploits this level of detail in control sequences which it translates into low-level representations which may be considered as true sequential control programs (Castillo et al 2000b, Castillo et al 2000c) directly applicable by control engineers.…”

Section: An Integrated Planning Architecturementioning

confidence: 99%

Mixing expressiveness and efficiency in a manufacturing planner

Castillo¹,

Fdez-Olivares²,

González³

2001

View full text Add to dashboard Cite

Abstract. The application of arti® cial intelligence planning techniques to real world problems is a very di cult task which usually implies overcoming expressiveness and e ciency handicaps. Expressiveness in order to cope with the great amount of knowledge involved in these problems and also to obtain results directly, or almost directly, applicable in the ® eld of study. E ciency to achieve a good course through the potentially enormous search spaces and, therefore, a satisfactory response capability. This work describes Ma c h i n e , a manufacturing planning architecture which is able to obtain sequential control programs for manufacturing systems, the steps given to overcome these expressiveness and e ciency handicaps and how it is able to solve some real size problems.

show abstract

“…On the one hand (Castillo et al 2000b), control sequences may be translated into Grafcet charts (IEC 1988), a standard tool for the speci® cation of sequential control. On the other (Castillo et al 2000c) they may be translated into a Petri net (Peterson 1981), a formal tool for the validation and analysis of sequential control, and furthermore, the nets obtained are proven to have two very important dynamic properties : the Petri nets are safe and live (Peterson 1981, Zhou et al 1992.…”

Section: Translation Into Lower Level Representationsmentioning

confidence: 99%

Mixing expressiveness and efficiency in a manufacturing planner

Castillo¹,

Fdez-Olivares²,

González³

2001

Journal of Experimental & Theoretical Artificial Intelligen

5

0

View full text Add to dashboard Cite

Abstract. The application of arti® cial intelligence planning techniques to real world problems is a very di cult task which usually implies overcoming expressiveness and e ciency handicaps. Expressiveness in order to cope with the great amount of knowledge involved in these problems and also to obtain results directly, or almost directly, applicable in the ® eld of study. E ciency to achieve a good course through the potentially enormous search spaces and, therefore, a satisfactory response capability. This work describes Ma c h i n e , a manufacturing planning architecture which is able to obtain sequential control programs for manufacturing systems, the steps given to overcome these expressiveness and e ciency handicaps and how it is able to solve some real size problems.

show abstract