Towards a Standard for Modular Petri Nets: A Formalisation (Q3636839): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The Petri Net Markup Language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221381 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3771631 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri nets and algebraic specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: A symbolic reachability graph for coloured Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modular Analysis of Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023496 / rank
 
Normal rank

Latest revision as of 17:05, 1 July 2024

scientific article
Language Label Description Also known as
English
Towards a Standard for Modular Petri Nets: A Formalisation
scientific article

    Statements

    Towards a Standard for Modular Petri Nets: A Formalisation (English)
    0 references
    0 references
    0 references
    30 June 2009
    0 references
    modular Petri nets
    0 references
    standardisation
    0 references
    high-level nets
    0 references

    Identifiers