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
Synthesis of Petri net supervisors enforcing general constraints - MaRDI portal

Synthesis of Petri net supervisors enforcing general constraints (Q2508210)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of Petri net supervisors enforcing general constraints
scientific article

    Statements

    Synthesis of Petri net supervisors enforcing general constraints (English)
    0 references
    0 references
    0 references
    9 October 2006
    0 references
    Petri net
    0 references
    Supervisor control
    0 references
    Parikh vector
    0 references
    Uncontrollable
    0 references
    Unobservable
    0 references

    Identifiers