scientific article
From MaRDI portal
Publication:2766587
zbMath0986.68781MaRDI QIDQ2766587
Wil M. P. van der Aalst, Eric Verbeek
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations ⋮ Formal verification of complex business processes based on high-level Petri nets ⋮ A Framework for Linking and Pricing No-Cure-No-Pay Services
Uses Software
This page was built for publication:
