Petri net models, functional abstractions, and reduction techniques: applications to the design of automated manufacturing systems
Zurawski, R.
Univ. of Tokyo, Japan;
This paper appears in: Industrial Electronics, IEEE Transactions on
Publication Date: April 2005
Volume: 52,
Issue: 2
On page(s): 595- 609
ISSN: 0278-0046
INSPEC Accession Number: 8351120
Digital Object Identifier: 10.1109/TIE.2005.844225
Current Version Published: 2005-04-04
Abstract
The use of generic models in the synthesis of flexible manufacturing systems (FMSs) systems, which allows for rapid modeling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realize the external functional behavior of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modeled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. This paper presents new results that allow for systematic construction of functional abstractions for a class of Petri net models which can be used to represent the primary components of the automated-guided-vehicle-based FMSs.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
