Control petri net together with modeling petri net, cascaded