A Step-Wise Specification of a Manufacturing System Using Petri Nets

Simple item page
dc.contributor.authorClaver, J.F.en_US
dc.contributor.authorHarhalakis, Georgeen_US
dc.contributor.authorProth, J.M.en_US
dc.contributor.authorSavi, V.M.en_US
dc.contributor.authorXie, X.L.en_US
dc.contributor.departmentISRen_US
dc.date.accessioned2007-05-23T09:50:01Z
dc.date.available2007-05-23T09:50:01Z
dc.date.issued1992en_US
dc.description.abstractOur experience, mainly based on two recently conducted real-life studies for some European companies, reveals that a natural way to proceed with the modeling and specification of large manufacturing system is to decompose the model of the entire system into sub-systems (referred to as modules). Models for modules are developed, and then integrated to model the entire system. Several problems arise in this process. If we express these problems from the users' point of view, they can be summarized by the following two issues: (i) how to decompose the whole system into sub-systems modules in order to have tractable (thus small) models exposing "good" properties? (ii) how then to integrate the module models in order to reach a global model also exposing "good" properties?en_US
dc.format.extent499528 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/1903/5195
dc.language.isoen_USen_US
dc.relation.ispartofseriesISR; TR 1992-13en_US
dc.subjectgraph theoryen_US
dc.subjectautomationen_US
dc.subjectmanufacturing system designen_US
dc.subjectPetri netsen_US
dc.subjectmarked graphsen_US
dc.subjectevent graphen_US
dc.subjectintegrationen_US
dc.subjectmodelingen_US
dc.subjectManufacturing Systemsen_US
dc.titleA Step-Wise Specification of a Manufacturing System Using Petri Netsen_US
dc.typeTechnical Reporten_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR_92-13.pdf
Size:
487.82 KB
Format:
Adobe Portable Document Format
Download

Collections

Institute for Systems Research Technical Reports