An extension of the taxonomy of persistent and nonviolent steps (Q2293146): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / Wikidata QID
 
Property / Wikidata QID: Q104379688 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On persistent reachability in Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5192922 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3225713 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis and reengineering of persistent systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of Live and Bounded Persistent Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Marked directed graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic Synthesis for Asynchronous Controllers and Interfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Persistent and Nonviolent Steps and the Design of GALS Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4055201 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Taxonomy of Persistent and Nonviolent Steps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arbitration-free synchronization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Properties of Conflict-Free and Persistent Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic server semantics and performance monotonicity of continuous Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Understanding Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3670605 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets / rank
 
Normal rank

Latest revision as of 17:52, 21 July 2024

scientific article
Language Label Description Also known as
English
An extension of the taxonomy of persistent and nonviolent steps
scientific article

    Statements

    An extension of the taxonomy of persistent and nonviolent steps (English)
    0 references
    0 references
    0 references
    7 February 2020
    0 references
    persistence
    0 references
    nonviolence
    0 references
    step semantics
    0 references
    single-server execution semantics
    0 references
    Petri net
    0 references
    taxonomy
    0 references
    behaviour
    0 references
    structure
    0 references

    Identifiers