You are here: Home :: Area NEM :: Engineering :: Automation

Peter Niebert

Petri Nets – An Intuitive Formalism for Concurrency (Part 2)

We give a short introduction to Petri nets as formalism for the modelling of concurrent systems. In the first part, we have introduced Place-Transition-Systems as classical representative of the Petri net family and explain basic modelling concepts. In this second part we discuss modern extensions of the basic formalism that enhance expressiveness for modelling and are essential in complex applications.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 51, 04/2003
Pages: 0A9

Journal homepage (external site)

Show all available items of this journal

 

Area NEM