User:Seguso45
Appearance
Dies ist eine Probeseite.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/50/Forthandback.svg/220px-Forthandback.svg.png)
Algorithms and restricted Formalisms
[edit]Standard Petri net properties like reachabilty, boundedness and liveness show a mixed picture. A paper [1] of Köhler-Bußmeier gives survey of decidability results for elementary object systems. To reduce the complexity of the formalism subclasses have been defined by restricting the structure of the Petri nets, as for instance to state machines. Such restrictions still allow complex modelling of distributed and mobile systems, but have polynomial complexity in model checking.[2]