arrow
Return

Performance comparison of high-level algebraic nets distributed simulation protocols

delete1998-03-01
delete9
delete
OA
AI
K
Karim Djemame
D
D. Gilles
M
Mackenzie, LM
M
Mohamed Bettaz
DOI:10.1016/S1383-7621(97)00058-1delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

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

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems Architecture cover
Journal of Systems Architecture
IF:
4.1
Papers:
3.0K
Citations:
4.2K

Organization

No organization information available