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
Configuration structures, event structures and Petri nets - MaRDI portal

Configuration structures, event structures and Petri nets (Q843106)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Configuration structures, event structures and Petri nets
scientific article

    Statements

    title
    Configuration structures, event structures and Petri nets (English)
    0 references
    publication date
    29 September 2009
    0 references
    zbMATH DE Number
    5608807
    0 references
    zbMATH Keywords
    concurrency
    0 references
    configuration structures
    0 references
    event structures
    0 references
    Petri nets
    0 references
    propositional logic
    0 references
    author
    Robert J. van Glabbeek
    0 references
    Gordon D. Plotkin
    0 references
    OpenAlex ID
    W2024955813
    0 references
    arXiv ID
    0912.4023
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q843106&oldid=35128988"
    Powered by MediaWiki