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
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets - MaRDI portal

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
scientific article

    Statements

    title
    Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (English)
    0 references
    publication date
    2 December 2008
    0 references
    author
    Jiří Srba
    0 references
    describes a project that uses
    Romeo
    0 references
    TINA
    0 references
    CMC
    0 references
    UPPAAL TIGA
    0 references
    IF-2.0
    0 references
    Uppaal
    0 references
    cites work
    Q4535172
    0 references
    Q4038702
    0 references
    Q4532077
    0 references
    Q4289659
    0 references
    Q5437180
    0 references
    Q4247290
    0 references
    Q4289279
    0 references
    Uppaal in a nutshell
    0 references
    Q4551180
    0 references
    Q4474226
    0 references
    Q3357558
    0 references
    Q5472942
    0 references
    Q2766563
    0 references
    Q3045274
    0 references
    Q4220896
    0 references

    Identifiers

    zbMATH DE Number
    5376766
    0 references
    OpenAlex ID
    W1659060819
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3543285&oldid=35083684"
    Powered by MediaWiki