Search

• < Previous
• 1
• Next >

---

Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

Henning Kerstan ; Barbara König.

Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with arbitrary (possibly uncountable) state spaces. We consider the&nbsp;[&hellip;]

---

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

Paolo Baldan ; Andrea Corradini ; Hartmut Ehrig ; Reiko Heckel ; Barbara König.

We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might interact with the surrounding environment and&nbsp;[&hellip;]

---