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

scientific article; zbMATH DE number 1341756

From MaRDI portal

Publication:4263301

Jump to:navigation, search

zbMath0935.68072MaRDI QIDQ4263301

Denis Poitrenaud, Serge Haddad

Publication date: 22 September 1999

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

zbMATH Keywords

multi-agent systems reachability problem recursive Petri nets

Mathematics Subject Classification ID

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

Related Items (7)

Dynamic Recursive Petri Nets ⋮ Coverability and Termination in Recursive Petri Nets ⋮ A reduced maximality labeled transition system generation for recursive Petri nets ⋮ Recursive Petri nets ⋮ Time Recursive Petri Nets ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Coverability, Termination, and Finiteness in Recursive Petri Nets

This page was built for publication:

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