Search

• < Previous
• 1
• Next >

---

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;]

---

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;]

---

Fixpoint Theory -- Upside Down

Paolo Baldan ; Richard Eggert ; Barbara König ; Tommaso Padoan.

Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduction proof principle for showing that some element is below the greatest fixpoint (e.g., for providing bisimilarity&nbsp;[&hellip;]

---