Composability Verification of Complex Systems Using Colored Petri Nets
Social Work(2021)
摘要
The discipline of component-based modeling and simulation offers promising gains including reductions in development cost, time, and system complexity. This paradigm promotes the use and reuse of modular components for adequate development of complex simulations. Achieving effective and meaningful model reuse through the composition of components still remains a daunting challenge. “Composability”...
更多查看译文
关键词
Analytical models,Costs,Petri nets,Elevators,Complexity theory,Complex systems
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要