Abstract: This paper mainly addresses the issue of designing safety Petri net-based controllers to prevent vehicle flow deadlocks at intersections. The designed controller can monitor the flow of ...

Abstract: Microservices architecture offers theoretical benefits for software maintainability, yet empirical validation of design patterns’ effectiveness for enhancing modifiability remains limited, ...