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
Solving liveness problem for marked nets by exhaustive coverability trees - MaRDI portal

Solving liveness problem for marked nets by exhaustive coverability trees

From MaRDI portal

Publication:1004340

Jump to:navigation, search

zbMath1154.68449MaRDI QIDQ1004340

Gang Wei, Yiqin Lu

Publication date: 3 March 2009

Published in: Progress in Natural Science (Search for Journal in Brave)

zbMATH Keywords

coverability trees, deadlock, marked nets

Mathematics Subject Classification ID

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

This page was built for publication: Solving liveness problem for marked nets by exhaustive coverability trees

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