Pages that link to "Item:Q5712335"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712335):
Displaying 10 items.
- An experience in proving regular networks of processes by modular model checking (Q1323369) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- (Q4535180) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- Computer Aided Verification (Q5312949) (← links)
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines (Q6116186) (← links)
- Model checking LTL using constraint programming (Q6487366) (← links)
- On the complexity of the linear-time μ-calculus for Petri Nets (Q6487371) (← links)