Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.

Saved in:
Bibliographic Details
Main Author Reisig, Wolfgang
Format eBook Book
LanguageEnglish
Published Berlin Springer Nature 2013
Springer
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Edition1
Subjects
Artificial Intelligence
Case studies
Computer Science
Computer simulation
Computer software
Data processing Computer science
Electronic data processing
Information theory
Petri nets
Software engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Online AccessGet full text

Cover

More Information
Summary:This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.
Bibliography:Translation from the German language edition: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien by Wolfgang Reisig.
ISBN:3642332781
9783642332784
9783642332777
3642332773
DOI:10.1007/978-3-642-33278-4