scientific article; zbMATH DE number 3633731
From MaRDI portal
Publication:4194473
zbMath0407.68066MaRDI QIDQ4194473
Kurt Lautenbach, Hartmann J. Genrich
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri NetsDistributed SystemsFirst-Order FormulasDead TransitionsOrganizing Database SystemsPredicatesTransition Nets
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Classical first-order logic (03B10) Theory of operating systems (68N25)
Related Items (8)
Petri nets with individual tokens ⋮ Extended colored Petri net: An efficient tool for analyzing concurrent systems ⋮ Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Modelling of batch production systems using Petri nets with dynamic tokens ⋮ Colouring fuzziness for systems biology ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets ⋮ \(e\)-commerce and supply chains: modelling of dynamics through fuzzy enhanced high level Petri net
This page was built for publication:
