Pages that link to "Item:Q1119024"
From MaRDI portal
The following pages link to Sequential and concurrent behaviour in Petri net theory (Q1119024):
Displaying 23 items.
- (Q3815533) (← links)
- (Q4284252) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)
- (Q5028430) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- On occurrence net semantics for petri nets with contacts (Q5055945) (← links)
- Causal behaviours and nets (Q5096367) (← links)
- Timed processes of Timed Petri Nets (Q5096376) (← links)
- On the category of Petri net computations (Q5096741) (← links)
- A Study on Team Bisimulations for BPP Nets (Q5100755) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
- Compositional process semantics of Petri Boxes (Q5890051) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)
- Petri boxes and finite precedence (Q6162099) (← links)
- Petri's axioms of concurrency a selection of recent results (Q6487376) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)
- Computing a parametric reveals relation for bounded equal-conflict Petri nets (Q6550563) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)
