Report - Industrial Automationusers.isr.ist.utl.pt/~jag/courses/api18b/docs/API_I_C7.pdf · Page 4 IST / DEEC / API 1. Reachability Given a Petri net C=(P, T, I, O, μ0) with initial marking

Please pass captcha verification before submit form