Efficient computation of causal behavioural profiles using structural decomposition

DOI10.1007/978-3-642-13675-7_6MaRDI QIDQ3569862zbMATH OpenOpenAlexFDO

Authors Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske

Publication date 22 June 2010

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11343/241601

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Causal behavioural profiles -- efficient computation, applications, and evaluation
• On the expressive power of behavioral profiles
• Connectivity of workflow nets: The foundations of stepwise verification
• On profiles and footprints -- relational semantics for Petri nets
• Behavioural conflicts in a causal specification

Cited in

(4)

• Behavioural conflicts in a causal specification
• On the expressive power of behavioral profiles
• Causal behavioural profiles -- efficient computation, applications, and evaluation
• Connectivity of workflow nets: The foundations of stepwise verification

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: Efficient computation of causal behavioural profiles using structural decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569862)