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

From MaRDI portal
Revision as of 17:20, 28 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 Keywords
    critical embedded systems
    0 references
    implementation of Petri nets
    0 references
    synchronous time Petri nets semantics
    0 references
    bisimulation
    0 references
    cites work
    Q5322945
    0 references
    Q3601860
    0 references
    Q2740516
    0 references
    Q3081898
    0 references
    Q4168078
    0 references
    Q3357558
    0 references

    Identifiers

    zbMATH DE Number
    7511148
    0 references
    OpenAlex ID
    W3198597958
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2128086&oldid=36792602"
    Powered by MediaWiki