A Primer in Petri Net Design

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

Petri nets provide a formal framework for system modeling and validation

which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are

understood very generally as organizational systems in which regulatedflows of objects and information are significant. The models are

interrelated in the sense that they have common interpretation patterns:

together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with
nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based

on courses the author developed for project engineers and project

managers in the area of embedded computer systems.