Figure 1From: Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagramThe symbols of HFPNe.Back to article page