Operations Research, Systems Engineering and Industrial Engineering Commons^™

An Executable System Architecture Approach To Discrete Events System Modeling Using Sysml In Conjunction With Colored Petri Net, Renzhong Wang, Cihan H. Dagli

Engineering Management and Systems Engineering Faculty Research & Creative Works

This paper proposes an executable system architecting paradigm for discrete event system modeling and analysis through integration of a set of architecting tools, executable modeling tools, analytical tools, and visualization tools. The essential step is translating SysML-based specifications into colored Petri nets (CPNs) which enables rigorous static and dynamic system analysis as well as formal verification of the behavior and functionality of the SysML-based design. A set of tools have been studied and integrated that enable a structured architecture design process. Some basic principles of executable system architecture for discrete event system modeling that guide the process of executable architecture …