Return
Performance comparison of high-level algebraic nets distributed simulation protocols
DOI:10.1016/S1383-7621(97)00058-1.png)
Abstract
En 中文
We address the problem of developing distributed simulation techniques to analyze Extended Concurrent Algebraic Term Nets (ECATNets). ECATNets are a kind of High-Level Algebraic Nets used for specifying various aspects of distributed and parallel systems. The conservative and optimistic approaches of Distributed Discrete Event Simulation (DDES) are used as the starting point to develop a simulation framework for studying their behaviour. The ECATNet model to be simulated is partitioned into several connected subnets simulated in parallel by several Logical Processes (LPs).
Keywords:
distributed simulation
modularity
high-level Petri nets, communication systems
rewriting logic
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
3.0K
Citations:
4.2K
Organization
No organization information available

