Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

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;]
Published on October 27, 2020
Volume 16, Issue 4

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;]
Published on October 21, 2008
Volume 4, Issue 4
  • < Previous
  • 1
  • Next >