The following pages link to Recursive Petri nets (Q2464034):
Displaying 17 items.
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Recursive nested Petri Nets: Analysis of semantic properties and expessibility (Q1403182) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Time Recursive Petri Nets (Q3599214) (← links)
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840) (← links)
- (Q3790615) (← links)
- Coverability, Termination, and Finiteness in Recursive Petri Nets (Q5025058) (← links)
- Dynamic Recursive Petri Nets (Q5100760) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)
- (Q5136306) (← links)
- (Q5207052) (← links)
- Process net reconstruction from the sequence of Petri net transition triggerings (Q5928733) (← links)
- Recursion and Petri nets (Q5950717) (← links)
