scientific article

zbMath0633.68056MaRDI QIDQ3771634

Kurt Lautenbach

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsplace/transition netsS- and T-invariants

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Mathematical programming approach to the Petri nets reachability problem, Feedback control of Petri nets based on place invariants, Nested-unit Petri nets, Some behavioural aspects of net theory, Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems, Structural Analysis for Stochastic Process Algebra Models, Modeling the process of human body iron homeostasis using a variant of timed Petri nets, Analyzing Reachability for Some Petri Nets With Fast Growing Markings