The following pages link to (Q3774959):
Displaying 9 items.
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- An environment for rapid prototyping of interactive systems (Q2277839) (← links)
- A Petri net-based object-oriented approach for the modelling of hybrid productive systems (Q2572186) (← links)
- Petri Nets with Structured Data (Q2941152) (← links)
- A Tool for Automated Test Code Generation from High-Level Petri Nets (Q3011896) (← links)
- P-Semiflow Computation with Decision Diagrams (Q3636844) (← links)
- Generalized Nets as a Tool for the Modelling of Data Mining Processes (Q4558949) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- Parameterized reachability trees for algebraic Petri nets (Q5096373) (← links)
