This chapter is intended to give a more detailed overview of the book than the introduction in Chapter 1. Having read Chapters 1 to 5 the reader should have acquired some intuitive understanding of Petri nets as well as some familiarity with basic formal definitions and properties. At this point the reader should be in a position to understand most of the presentations in the remainder of the book. Although, for the novice it may be beneficial to read the book from beginning to end, more experienced readers should have no problem skipping chapters that are not of foremost importance for them.
KeywordsFlexible Manufacturing System Linear Logic Process Algebra Reachability Graph Algebraic Specification
Unable to display preview. Download preview PDF.