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 use of partial-order technique for verification of time Petri nets - MaRDI portal

The use of partial-order technique for verification of time Petri nets

From MaRDI portal

Publication:5930930

Jump to:navigation, search

zbMath0974.68141MaRDI QIDQ5930930

I. B. Virbitskaite, E. A. Pokozy

Publication date: 26 April 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

time Petri 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: The use of partial-order technique for verification of time Petri nets

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