User:Seguso45

Dies ist eine Probeseite.

Figure 1: Nested Petri net containing channels via inscriptions

Algorithms and restricted Formalisms

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]

^ Michael Köhler-Bußmeier: „P- and t-systems in the nets-within-nets formalism“: Fundamenta Informaticae, Vol. 130, No 1, pp. 99-123, 2014
^ Frank Heitmann, Michael Köhler-Bußmeier: „P- and t-systems in the nets-within-nets formalism“: Springer LNCS 7347, 2012, pp. 368-387

[1] Michael Köhler-Bußmeier: „P- and t-systems in the nets-within-nets formalism“: Fundamenta Informaticae, Vol. 130, No 1, pp. 99-123, 2014

[2] Frank Heitmann, Michael Köhler-Bußmeier: „P- and t-systems in the nets-within-nets formalism“: Springer LNCS 7347, 2012, pp. 368-387

[1]

[2]