scientific article

zbMath0521.68055MaRDI QIDQ3670573

Kurt Lautenbach, Hartmann J. Genrich

Publication date: 1983

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

zbMATH Keywords

predicate/transition netsS-invariant

Mathematics Subject Classification ID

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

Related Items

A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases, Modeling a solution for a control problem in distributed systems by restrictions, System modelling with high-level Petri nets, Coloured Petri nets and the invariant-method, Some behavioural aspects of net theory, Executions: A new partial-order semantics of Petri nets, Modeling production rules by means of predicate transition networks, An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets, Petri nets and algebraic specifications, Petri nets for modeling of dynamic systems -- a survey