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

Jump to:navigation, search

zbMath1238.68094MaRDI QIDQ3225713

Eike Best, Philippe Darondeau

Publication date: 22 March 2012

Full work available at URL: http://iospress.metapress.com/content/y6h2520865n66575/fulltext.html

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

zbMATH Keywords

persistency persistent Petri nets separability in Petri nets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Sufficient conditions for the marked graph realisability of labelled transition systems ⋮ Synthesis and reengineering of persistent systems ⋮ An extension of the taxonomy of persistent and nonviolent steps

This page was built for publication:

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