Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use
Buch in deiner Nähe kaufen
oder
Beschreibung
This third volume of a definitive work on coloured Petri nets gives a detailed account of their application in 19 projects, most of them carried out in an industrial setting.
Autor*in
Kurt Jensen
Themen in »Coloured Petri Nets«
Petri nets Petri-Netz Software-Engineering algorithms calculus model network management programming simulation software structured analysis structured design systems analysis validation verification
Stimmen zu »Coloured Petri Nets«
Details
ISBN: 9783642645563
Verlag: Springer Berlin
Erscheinung: 16.09.2011