scientific article

zbMath0635.68059MaRDI QIDQ3774959

Hartmann J. Genrich

Publication date: 1987

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

zbMATH Keywords

relational structurespredicate/transition netshigher-level Petri netslinear-algebraic system invariantslogical system invariantsPrT-nets

Mathematics Subject Classification ID

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

Related Items (12)

Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ Petri Nets with Structured Data ⋮ A class of composable high level Petri nets ⋮ Parameterized reachability trees for algebraic Petri nets ⋮ Linear constraint systems as high-level nets ⋮ Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems ⋮ A Tool for Automated Test Code Generation from High-Level Petri Nets ⋮ Orthogonal transformations for coloured Petri nets ⋮ M-net Calculus Based Semantics for Triggers ⋮ An environment for rapid prototyping of interactive systems ⋮ P-Semiflow Computation with Decision Diagrams ⋮ A Petri net-based object-oriented approach for the modelling of hybrid productive systems

This page was built for publication: