Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.
Michael LeuschelHelko LehmannPublished in: Computational Logic (2000)
Keyphrases
- petri net
- transition systems
- concurrent systems
- partial deduction
- reactive systems
- logic programs
- petri net model
- discrete event systems
- model checking
- temporal logic
- colored petri nets
- fuzzy petri net
- web service composition
- finite state
- service composition
- practical reasoning
- stochastic petri net
- control flow
- distributed systems
- expert systems