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
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems - MaRDI portal

Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems

From MaRDI portal

Publication:3560559

Jump to:navigation, search

DOI10.3233/FI-2010-228zbMath1196.68162MaRDI QIDQ3560559

Joachim Wehler

Publication date: 14 May 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

free-choice system Petri net morphism structurally free of blocking

Mathematics Subject Classification ID

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

Related Items (1)

Free-choice Nets with Home Clusters are Lucent

This page was built for publication: Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems

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