Paper Info
Title
Modeling FMS through PN: the modular structural synthesis
Abstract
In this paper, we provide a formal approach to obtain a discrete event system (DES) representation of a flexible manufacturing system (FMS). The complexity of real FMSs typically yields formidable problems in modeling such systems and in their representation by means of any predefined formalism, for instance Petri nets (PNs). A technique which allows to obtain the PN from a description of a system is called synthesis procedure. In this paper, a synthesis procedure is presented which is based on a modular conception: a generic FMS can be easily divided, from a physical point of view, in a set of connected resources totally independent one from the others. Once such resources have been identified, we represent them by means of a set of independent subnets, the Petri net modules (PNMs), and then we can apply the synthesis procedure. For this reason, the proposed procedure has been named modular structural synthesis.
Year
DOI
Venue
2000
10.1109/ICSMC.2000.886617
IEEE International Conference on Systems Man and Cybernetics Conference Proceedings
Keywords
Field
DocType
resource management,concurrent computing,real time systems,petri net,optimization,petri nets
Petri net,Computer science,Real-time computing,Flexible manufacturing system,Artificial intelligence,Distributed computing,Resource management,Discrete event system,System recovery,Concurrent computing,Modular design,Formalism (philosophy),Machine learning
Conference
ISSN
Citations 
PageRank 
1062-922X
1
0.41
References 
Authors
3
2
Name
Order
Citations
PageRank
Davide Giglio13512.05
Riccardo Minciardi28421.56