Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

A Primer in Petri Net Design, PDF eBook

A Primer in Petri Net Design PDF

Part of the Springer Compass International series

PDF

Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

Petri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice.

This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant. The models are interrelated in the sense that they havecommon interpretation patterns: together they can beunderstood as a method for specifying any given system orany section of such a system to any given degree ofrefinement.

The simple and immediately understandableprinciples of system modelling with nets makes it possibleto provide an illustrated description of this method withoutgoing into the mathematics behind it.

The text is based oncourses the author developed for project engineers andproject managers in the area of embedded computer systems.

Information

Information

Also in the Springer Compass International series  |  View all