Deriving Temporal Logic Specifications from Predicate Transition Petri Net.
Xudong HeJohn A. N. LeePublished in: SEKE (1989)
Keyphrases
- petri net
- temporal logic
- reactive systems
- concurrent systems
- transition systems
- model checking
- model checker
- formal specification language
- bounded model checking
- fuzzy petri net
- embedded real time systems
- petri net model
- formal specification
- modal logic
- colored petri nets
- verification method
- web service composition
- temporal knowledge
- stochastic petri net
- mazurkiewicz traces
- ims ld
- service composition
- first order logic
- story generation
- epistemic logic
- software development
- computation tree logic