scientific article; zbMATH DE number 762060

zbMath0827.68081MaRDI QIDQ4835904

Iain A. Stewart

Publication date: 8 June 1995

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

zbMATH Keywords

reachability problemacyclic Petri nets

Mathematics Subject Classification ID

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

Related Items (3)

Generalized Alignment-Based Trace Clustering of Process Behavior ⋮ Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads ⋮ Anti-alignments in Conformance Checking – The Dark Side of Process Models

This page was built for publication: