scientific article

zbMath1171.68581MaRDI QIDQ3182632

Jacek Bieganowski, Agnieszka Węgrzyn, Andrei Karatkevich

Publication date: 12 October 2009

Full work available at URL: https://eudml.org/doc/207672

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

zbMATH Keywords

livenessanalysisPetri nettrapdeadlock

Mathematics Subject Classification ID

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

Related Items (1)

An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices

This page was built for publication: