Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
We suggest a new notion of behavior preserving transition refinement based on partial order semantics. Furthermore, we discuss how to prove the correctness of a transition refinement step. Our results are formalized in the setting of Petri nets. We use Petri nets because they have a canonical partial order semantics, which is defined by concurrent runs.