Colored Petri Nets to Promela Translator