この資料をSMS送信: Modular construction and partial order semantics of Petri nets / W. Vogler.