Text this: Control Interpreted Petri Nets - Model Checking and Synthesis