Refinement and Asynchronous Composition of Modal Petri Nets (Q2889610)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Refinement and Asynchronous Composition of Modal Petri Nets
scientific article

    Statements

    Refinement and Asynchronous Composition of Modal Petri Nets (English)
    0 references
    0 references
    0 references
    0 references
    8 June 2012
    0 references
    modal language specification and refinement
    0 references
    modal Petri net
    0 references
    weak determinacy
    0 references
    asynchronous composition
    0 references
    infinite-state system
    0 references

    Identifiers