1993 | OriginalPaper | Chapter
Synthesis for manufacturing systems integration
Authors : F. DiCesare, Mu Der Jeng
Published in: Practice of Petri Nets in Manufacturing
Publisher: Springer Netherlands
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The purpose of this chapter is to present and give examples for Petri net synthesis methods including bottom-up, top-down and hybrid techniques. Emphasis is placed on application of synthesis methods for the design and control of concurrent systems. Each section will present the techniques, illustrate them with a manufacturing systems example, and discuss the effect of the synthesis method on net properties such as liveness, boundedness and reversibility.