Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets.
Saoussen CheikhrouhouNesrine ChabouhSlim KallelZakaria MaamarPublished in: MEDI Workshops (2018)
Keyphrases
- resource allocation
- formal specification
- model checking
- timed petri nets
- concurrent systems
- formal methods
- discrete event systems
- temporal logic
- protocol specification
- process algebra
- grid workflow
- cloud computing
- resource allocation problems
- reverse engineering
- resource management
- model based diagnosis
- optimal resource allocation
- allocation problems
- petri net
- distributed resource allocation
- resource allocation and scheduling
- asynchronous circuits
- mathematical modeling
- cloud computing environment
- discrete event
- virtual machine
- steady state
- complex systems
- software engineering
- telecommunication networks
- combinatorial auctions
- temporal constraints
- expert systems