scientific article

From MaRDI portal

Publication:3773359

Jump to:navigation, search

zbMath0634.68062MaRDI QIDQ3773359

Eike Best, P. S. Thiagarajan

Publication date: 1987

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

zbMATH Keywords

liveness Petri nets safeness asymmetric choice nets deadlock-trap-property

Mathematics Subject Classification ID

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

Related Items (4)

Partial order behaviour and structure of Petri nets ⋮ Complexity results for 1-safe nets ⋮ Structure theory of equal conflict systems ⋮ A polynomial-time algorithm to decide liveness of bounded free choice nets

This page was built for publication:

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