Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
From MaRDI portal
Publication:3569862
DOI10.1007/978-3-642-13675-7_6zbMath1233.68174OpenAlexW1502063336MaRDI QIDQ3569862
Matthias Weidlich, Mathias Weske, Jan Mendling, Artem Polyvyanyy
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
On the expressive power of behavioral profiles ⋮ Connectivity of workflow nets: The foundations of stepwise verification
Uses Software
This page was built for publication: Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
