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.
Chicago Style (17th ed.) CitationTongzon, Lyward Manuel S., and Jasmine A. Malinao. An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets.
MLA (9th ed.) CitationTongzon, Lyward Manuel S., and Jasmine A. Malinao. An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets.
Warning: These citations may not always be 100% accurate.