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
Occupancy number restricted Boolean Petri net synthesis: a fixed-parameter algorithm - MaRDI portal

Occupancy number restricted Boolean Petri net synthesis: a fixed-parameter algorithm

From MaRDI portal

Publication:2037941

Jump to:navigation, search

DOI10.1007/978-3-030-64276-1_8OpenAlexW3109835762MaRDI QIDQ2037941

Ronny Tredup, Evgeny Erofeev

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64276-1_8

zbMATH Keywords

synthesis transition system fixed-parameter tractability parameterized complexity Boolean Petri net

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

On the parameterized complexity of the synthesis of Boolean nets with restricted place environments

This page was built for publication: Occupancy number restricted Boolean Petri net synthesis: a fixed-parameter algorithm

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