scientific article; zbMATH DE number 3825180

MaRDI QIDQ3670573zbMATH OpenFDO

Authors Kurt Lautenbach, Hartmann J. Genrich

Publication date 1983

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)

Cited in

(10)

• Modeling production rules by means of predicate transition networks
• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• 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
• Executions: A new partial-order semantics of Petri nets
• Petri nets for modeling of dynamic systems -- a survey
• A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases
• Petri nets and algebraic specifications
• Some behavioural aspects of net theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3670573)