The following pages link to (Q3601864):
Displaying 8 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Inferring Unobserved Events in Systems with Shared Resources and Queues (Q5025065) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)