Discrete, Continuous, and Hybrid Petri Nets

bottling chain iterated firing same modeling power enabling density maximal firing speed linearized reachability space enabling vector rotary filler marking invariant draining speed firing quantity connected event graph logic controlers enabling degree evolution graph priority graph single input place firable transitions discrete marking packaging conveyor firing quantities stable marking reserved tokens hybrid dynamic systems feeding speed