Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets - Cagaanan, Adrian; Gehlot, Vijay (2024 IEEE International Systems Conference (SysCon), Systems Conference (SysCon), 2024 IEEE International, 2024)