scientific article

From MaRDI portal

Publication:3776647

Jump to:navigation, search

zbMath0636.68074MaRDI QIDQ3776647

Louis E. Rosier, Rodney R. Howell

Publication date: 1987

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

zbMATH Keywords

complexity equivalence boundedness reachability Petri nets reachability sets containment vector addition systems vector replacement systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

\(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3776647&oldid=17325204"