Tongzon, L. M. S., & Malinao, J. A. An automation tool for model conversion and soundness verification from Robustness Diagrams with Loop and Time Controls to Petri Nets.
Cita Chicago (17th ed.)Tongzon, Lyward Manuel S., i Jasmine A. Malinao. An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets.
Cita MLA (9th ed.)Tongzon, Lyward Manuel S., i Jasmine A. Malinao. An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets.
Atenció: Aquestes cites poden no estar 100% correctes.