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 - MaRDI portal

scientific article

From MaRDI portal

Publication:3776636

Jump to:navigation, search

zbMath0636.68064MaRDI QIDQ3776636

Grzegorz Rozenberg

Publication date: 1987

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

zbMATH Keywords

Petri nets process firing sequence elementary net system firing traces labeled partial orders of events

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

Petri Nets as Token Objects, Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes, Concurrent graph and term graph rewriting, Unnamed Item, Unnamed Item, Executions: A new partial-order semantics of Petri nets, Elementary transition systems, Equivalence of computations in actor grammars, Computation graphs for actor grammars, Petri net-based modelling of workflow systems: An overview, On the Analysis of Petri Nets and their Synthesis from Process Languages

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