Reasoning About Bounds in Weighted Transition Systems


We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates states that exhibit transitions to bisimulation classes with the weights within the same boundaries. We propose a… (More)

8 Figures and Tables


  • Presentations referencing similar topics