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
Compositional Petri net approach to the development of concurrent and distributed systems - MaRDI portal

Compositional Petri net approach to the development of concurrent and distributed systems

From MaRDI portal

Publication:1403207

Jump to:navigation, search

DOI10.1023/A:1012758417962zbMath1038.68082MaRDI QIDQ1403207

E. A. Golenkov, N. A. Anisimov, D. I. Kharitonov

Publication date: 1 September 2003

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

zbMATH Keywords

concurrent systems distributed systems Petri nets compositionality Petri net entity

Mathematics Subject Classification ID

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

Related Items (1)

The ins and outs of Petri net composition

This page was built for publication: Compositional Petri net approach to the development of concurrent and distributed systems

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