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
Model checking workflow net based on Petri net - MaRDI portal

Model checking workflow net based on Petri net (Q3446022)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking workflow net based on Petri net
scientific article

    Statements

    title
    Model checking workflow net based on Petri net (English)
    0 references
    author
    Conghua Zhou
    0 references
    Zhen-Yu Chen
    0 references
    publication date
    8 June 2007
    0 references
    zbMATH Keywords
    model checking
    0 references
    computation tree logic
    0 references
    Petri nets
    0 references
    workflow
    0 references
    describes a project that uses
    SPIN
    0 references
    Woflan
    0 references

    Identifiers

    DOI
    10.1007/BF02829255
    0 references
    zbMATH DE Number
    5163028
    0 references
    OpenAlex ID
    W2324046115
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3446022&oldid=37051915"
    Powered by MediaWiki