The following pages link to (Q3210197):
Displayed 27 items.
- An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Petri nets are monoids (Q922720) (← links)
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Linear logic as a logic of computations (Q1326780) (← links)
- Processes of timed Petri nets (Q1575631) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
- From petri nets to linear logic (Q5096267) (← links)
- On the category of Petri net computations (Q5096741) (← links)
- Open Petri nets (Q5139283) (← links)
- Timing Petri Nets categorically (Q5204348) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
- On continuous time agents (Q6116583) (← links)