An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Modeling, validation and software implementation of production systems using high level Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Joining Petri nets and knowledge based systems for monitoring purposesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Coloured adaptive structured Petri-net: A tool for the automatic synthesis of hierarchical control of Flexible Manufacturing Systems (F.M.S.)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Generalized stochastic Petri nets for the performance evaluation of FMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Petri-net based simulation of manufacturing cellsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Resource-constrained project scheduling: an international exercise in DSS developmentDecision Support Systems, 1988
- Temporal logics in AI: Semantical and ontological considerationsArtificial Intelligence, 1987
- Towards a general theory of action and timeArtificial Intelligence, 1984
- PetrinetzePublished by Springer Nature ,1982
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981