Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets.

Kittisak Khetkarn Wiwat Vatanawood

Published in: ICSEB (2019)

Keyphrases

priority queue
real time
data structure
formal model
formal methods
neural network
modeling method
data sets
information systems
state space
formal models