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
scientific article; zbMATH DE number 3609109 - MaRDI portal

scientific article; zbMATH DE number 3609109

From MaRDI portal

Publication:4174216

Jump to:navigation, search

zbMath0392.68015MaRDI QIDQ4174216

Michael Schiffers, Horst F. Wedde

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Coloured Petri Nets Concurrent Programming Control Problem Coordination Problems Process Structure Program Solutions

Mathematics Subject Classification ID

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

Related Items (3)

Extended colored Petri net: An efficient tool for analyzing concurrent systems ⋮ Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ Coloured Petri nets and the invariant-method

This page was built for publication:

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