Zur Modellierung und Analyse der beweglichen Blocksignalgebung im Schienenverkehr mittels hybrider Petri-Netze | Synapse