The following pages link to Petri net algebra (Q1573598):
Displayed 18 items.
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- M-nets: a survey (Q1006339) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Avoiding exponential explosion in Petri net models of control flows (Q2165241) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- General composition for high level Petri nets and its properties (Q2445095) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)