Explicit Storage and Analysis of Billions of States using Commodity Computers
Keywords
Resource Allocation Systems
Petri nets
Supervisory Control
State Space Exploration
Cited by (0)
This work was partially supported by NSF grant CCF-0819882 and an award from HP Labs Innovation Research Program.
Copyright © 2012 IFAC. Published by Elsevier Ltd. All rights reserved.