Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation

DOI10.1016/S0096-3003(99)00244-1zbMath1032.68112MaRDI QIDQ1854984

Nabil Ben Khalifa, Alexandre Nketsa

Publication date: 28 January 2003

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

zbMATH Keywords

synchronizationChandy-Misra methodchannel time prediction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Conservative distributed simulation of Petri nets
• Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
• Termination Detection of Diffusing Computations in Communicating Sequential Processes

This page was built for publication: Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation