Reversing Steps in Petri Nets (Q6144213): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4247291 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conditions for Petri Net Solvable Binary Words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing Transitions in Bounded Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2004 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: General Reversibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of Nets with Step Firing Policies / rank
 
Normal rank
Property / cites work
 
Property / cites work: An efficient characterization of Petri net solvable binary words / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Reversibility of Live Equal-Conflict Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing Higher-Order Pi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing algebraic process calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversibility and asymmetric conflict in event structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Understanding Petri Nets / rank
 
Normal rank

Latest revision as of 21:30, 23 August 2024

scientific article; zbMATH DE number 7796221
Language Label Description Also known as
English
Reversing Steps in Petri Nets
scientific article; zbMATH DE number 7796221

    Statements

    Identifiers