This chapter deals with a case study of a Petri net-based specification of a
manufacturing system. The purpose of this chapter is to introduce one of the
manufacturing systems and to illustrate the proposed analytical methods on a reallife
example. This chapter also provides a synthetic summary of the research with the
presentation of key innovative elements of the author’s over seven-year work. The
chapter comments on the proposition as well as on the contribution of this book.
Moreover, it outlines possible directions for further endeavors.
Keywords: Boundedness, Case study, Effectiveness, Efficiency, Experimental verification, Manufacturing system, Petri net-based specification, Safeness.
