2017/06/30 by Pengfei Yang, Yang, Pengfei, David N. Jansen +3
Computer Science · Engineering · #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling
paper · pdf · doi:10.48550/arxiv.1706.10049
openalex publication_date 2017/06/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.