Advertisement

Free-Choice Nets

  • Wolfgang Reisig
Chapter

Abstract

Traps and place invariants exploit the general structure of Petri nets. For nets with particular structural properties, like the free-choice property, there are further analysis techniques.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.Department of Computer ScienceHumboldt-Universität zu BerlinBerlinGermany

Personalised recommendations