Hasse Diagram Generators and Petri Nets (Q5894195)

From MaRDI portal
Revision as of 10:36, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 5870676
Language Label Description Also known as
English
Hasse Diagram Generators and Petri Nets
scientific article; zbMATH DE number 5870676

    Statements

    title
    Hasse Diagram Generators and Petri Nets (English)
    0 references
    DOI
    10.3233/FI-2010-367
    0 references
    publication date
    28 March 2011
    0 references
    zbMATH DE Number
    5870676
    0 references
    zbMATH Keywords
    causality
    0 references
    partial order theory of concurrency
    0 references
    Petri nets
    0 references
    bounded \(p/t\)-nets
    0 references
    Hasse diagram generators
    0 references
    \(k\)-safe \(p/t\)-nets
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5894195&oldid=27475837"
    Powered by MediaWiki