Structured representation of FMS integrating SI-NETS and high level petri nets

In this paper a structured knowledge-based approach to the representation and scheduling of flexible manufactoring systems (FMSs) is described. Our approach is based on a structured conceptual representation (a KL-ONE-like Si-net representation formalism), extended with an instant-based temporal reasoning formalism. Furthermore, the approach integrates a particular extension to high-level Petri nets (PNs), structured timed colored Petri nets (STCPNs), for the modeling and simulation of the FMS. Such a representation scheme allows us to use SI-nets' good properties related to inference (classification and inheritance), which are lacking in PNs, and at the same time provides an extension toward an explicit representation for time. The integration of Si-nets with PNs is necessary because simulation and low-level coordination of FMSs require a procedural approach that is not within the aims of Si-nets. Therefore, procedural and symbolic levels, corresponding to the different hierarchical levels of the represe...