scientific article; zbMATH DE number 1515851

zbMath0959.68094MaRDI QIDQ4508931

Kathrin Hoffmann

Publication date: 10 October 2000

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

zbMATH Keywords

algebraic high level netsalgebraic higher-order nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Nested Petri Nets for Adaptive Process Modeling

Uses Software

• TimeNET

This page was built for publication: