この資料をSMS送信: Single and Replicated Simulations for Colored Petri Nets Nondeterministic Network