Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.
Matteo CamilliAngelo GargantiniPatrizia ScandurraCarlo BellettiniPublished in: NFM (2017)
Keyphrases
- petri net
- temporal properties
- model checking
- petri net model
- concurrent systems
- colored petri nets
- formal methods
- temporal logic
- formal specification
- discrete event systems
- possibility theory
- service composition
- stochastic petri net
- fuzzy petri net
- ims ld
- asynchronous circuits
- state machines
- data mining
- production system
- hardware and software
- modal logic
- rough sets
- machine learning