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
Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis - MaRDI portal

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
scientific article

    Statements

    title
    Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (English)
    0 references
    author
    Karen Godary-Dejean
    0 references
    Hélène Leroux
    0 references
    David Andreu
    0 references
    publication date
    21 April 2022
    0 references
    zbMATH DE Number
    7511148
    0 references
    zbMATH Keywords
    critical embedded systems
    0 references
    implementation of Petri nets
    0 references
    synchronous time Petri nets semantics
    0 references
    bisimulation
    0 references
    OpenAlex ID
    W3198597958
    0 references
    cites work
    Q5322945
    0 references
    Q3601860
    0 references
    Q2740516
    0 references
    Q3081898
    0 references
    Q4168078
    0 references
    Q3357558
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2128086&oldid=36792602"
    Powered by MediaWiki