Firmware functional validation using a Colored Petri Net model.

Rongyang Liu José G. Delgado-Frias Doug Boyce Rahul Khanna

Published in: MWSCAS (2017)

Keyphrases

petri net model
petri net
service composition
production process
operating system
computer systems
power consumption
web services
database
information retrieval
microarray
greedy algorithm
functional analysis