Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1756008 - MaRDI portal

scientific article; zbMATH DE number 1756008

From MaRDI portal

Publication:4535794

Jump to:navigation, search

zbMath0987.68050MaRDI QIDQ4535794

Panos J. Antsaklis, Marian V. Iordache

Publication date: 16 June 2002

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

zbMATH Keywords

liveness deadlock structural properties of Petri nets synthesis of liveness supervisors

Mathematics Subject Classification ID

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

Related Items (2)

On liveness and boundedness of asymmetric choice nets ⋮ Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets

This page was built for publication:

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