Developing complex systems relies heavily on using models to analyze components and validate system behavior. Simulation and verification are essential for advancing those systems. Petri nets, a widely used modeling technique, excel in representing such systems. However, they face scalability and performance limitations when single computing platforms confine the simulations. This paper proposes a novel approach for the distributed simulation of Reference Nets, overcoming the constraints of single computing platforms. The proposed solution employs distributed synchronization via synchronous channels and integrates event streaming within computing clusters. A prototyping methodology grounded in constructivist principles validates the approach. The primary contribution is a distributed simulator for Reference Nets as an extension of Renew. The simulator leverages KafkaRegistry to facilitate event-driven, loosely coupled communication. This architecture enhances scalability and robustness, tackling computational challenges in modern distributed systems. The proposed solution overcomes bottlenecks of single-platform simulations. It provides a scalable simulator for Reference Nets in distributed environments, enabling efficient and high-performance system simulation.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Distributed Reference Net Simulation Based on Event Streaming

  • Laif-Oke Clasen,
  • Can Nayci,
  • Daniel Moldt

摘要

Developing complex systems relies heavily on using models to analyze components and validate system behavior. Simulation and verification are essential for advancing those systems. Petri nets, a widely used modeling technique, excel in representing such systems. However, they face scalability and performance limitations when single computing platforms confine the simulations. This paper proposes a novel approach for the distributed simulation of Reference Nets, overcoming the constraints of single computing platforms. The proposed solution employs distributed synchronization via synchronous channels and integrates event streaming within computing clusters. A prototyping methodology grounded in constructivist principles validates the approach. The primary contribution is a distributed simulator for Reference Nets as an extension of Renew. The simulator leverages KafkaRegistry to facilitate event-driven, loosely coupled communication. This architecture enhances scalability and robustness, tackling computational challenges in modern distributed systems. The proposed solution overcomes bottlenecks of single-platform simulations. It provides a scalable simulator for Reference Nets in distributed environments, enabling efficient and high-performance system simulation.