scientific article; zbMATH DE number 1751908

zbMATH Open1017.68083MaRDI QIDQ4533003

Piotr Miczulski

Publication date: 6 June 2002

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

zbMATH Keywords

Petri netshierarchical reachability graph

Mathematics Subject Classification ID

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

Related Items (2)

State space analysis of Petri nets with relation-algebraic methods ⋮ Planning without state space explosion: Petri net to Markov decision process

This page was built for publication:

Report a bugQ4533003