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
Deadlock prevention policy based on Petri nets and siphons - MaRDI portal

Deadlock prevention policy based on Petri nets and siphons (Q2713455)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deadlock prevention policy based on Petri nets and siphons
scientific article

    Statements

    Deadlock prevention policy based on Petri nets and siphons (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    26 August 2003
    0 references

    Identifiers