Search

• < Previous
• 1
• Next >

---

Event Structures for Petri nets with Persistence

Paolo Baldan ; Roberto Bruni ; Andrea Corradini ; Fabio Gadducci ; Hernan Melgratti ; Ugo Montanari.

Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe)&nbsp;[&hellip;]

---

Collaboration vs. choreography conformance in BPMN

Flavio Corradini ; Andrea Morichetta ; Andrea Polini ; Barbara Re ; Francesco Tiezzi.

The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system&nbsp;[&hellip;]

---