protected void Application_Start()
{
// Generate Database
BookStoreDbContext db = new BookStoreDbContext();
if (db.Database.CreateIfNotExists())
{
initial i = new initial();
i.InitialData();
}
GlobalConfiguration.Configure(WebApiConfig.Register);
}
=> semaphoreSlim = new SemaphoreSlim(initial, max);
var(initial, final, trans) = _a.AutomatonTransitions;