scientific article
From MaRDI portal
Publication:2772443
zbMath0980.68816MaRDI QIDQ2772443
Peter Rittgen, Juliane Dehnert
Publication date: 19 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2068/20680157
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (6)
Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource ⋮ A simplified framework for stochastic workflow networks ⋮ Taking Some Burden Off an Explicit CTL Model Checker ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness ⋮ Does My Service Have Partners?
This page was built for publication:
