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
The meaning of frozen tokens in live nets - MaRDI portal

The meaning of frozen tokens in live nets

From MaRDI portal

Publication:1263991

Jump to:navigation, search

zbMath0688.68060MaRDI QIDQ1263991

A. Merceron, Weiming Lu

Publication date: 1989

Published in: Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

Petri net concurrent system frozen tokens live net unfair occurrences

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

This page was built for publication: The meaning of frozen tokens in live nets

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