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:3696527

Jump to:navigation, search

zbMath0576.68043MaRDI QIDQ3696527

Philippe Chrétienne

Publication date: 1984

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

zbMATH Keywords

parallel systems linear inequations firing schedule marking period

Mathematics Subject Classification ID

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

Related Items (6)

Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems ⋮ Performance evaluation of concurrent systems using conflict-free and persistent Petri nets ⋮ The basic cyclic scheduling problem with linear precedence constraints ⋮ A sufficient condition for the liveness of weighted event graphs ⋮ State equations and equivalent transformations for timed Petri nets ⋮ Petri nets for modeling of dynamic systems -- a survey

This page was built for publication:

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