scientific article; zbMATH DE number 1302045

zbMath0926.68085MaRDI QIDQ4247288

Jörg Desel

Publication date: 16 June 1999

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

zbMATH Keywords

place/transition netsmarked Petri nets

Mathematics Subject Classification ID

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

Related Items (3)

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data ⋮ Analyzing Reachability for Some Petri Nets With Fast Growing Markings ⋮ Stop-transitions of Petri Nets*

This page was built for publication: