Title :
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net
Author :
Wasaki, Katsumi ; Harai, Toshiaki ; Hayashi, Tamotsu ; Arai, Kenichi
Author_Institution :
Graduate Sch. of Sci. & Technol., Shinshu Univ., Nagano, Japan
Abstract :
We describe a case study of the design and verification of a parallel and pipe-lined image processing unit based on an extended Petri net, which is called a Logical Colored Petri net (LCPN). This is suitable for Flexible-Manufacturing System (FMS) modeling and discussion of structural properties. LCPN is another family of colored p/t-net(CPN) with the addition of the following features: integer value assignment of marks, representation of firing conditions as marks´ value based formulae, and coupling of output procedures with transition firing. Therefore, to study the behavior of a system modeled with this net, we provide a means of searching the reachability tree for markings.
Keywords :
Petri nets; controllers; flexible manufacturing systems; image processing; industrial control; pipeline processing; controller design; extended Petri net; flexible-manufacturing system; integer value assignment; logical colored Petri net; pipeline image processor; reachability tree; transition firing; Computer aided manufacturing; Control systems; Costs; Flexible manufacturing systems; Hardware; Image processing; Petri nets; Pipelines; System analysis and design; System recovery;
Conference_Titel :
Digital System Design Architectures, Methods and Tools, 2007. DSD 2007. 10th Euromicro Conference on
Conference_Location :
Lubeck
Print_ISBN :
978-0-7695-2978-3
DOI :
10.1109/DSD.2007.4341477
