Pages that link to "Item:Q4236218"
From MaRDI portal
The following pages link to An axiomatization of the category of Petri net computations (Q4236218):
Displaying 10 items.
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- (Q2769427) (← links)
- (Q4507812) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- Open Petri nets (Q5139283) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)