scientific article; zbMATH DE number 1445908
From MaRDI portal
Publication:4952938
zbMath0958.68541MaRDI QIDQ4952938
Publication date: 13 November 2000
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 (8)
Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets ⋮ PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets ⋮ Contracts for cross-organizational workflows as timed dynamic condition response graphs ⋮ Open Petri Nets: Non-deterministic Processes and Compositionality ⋮ Petri net-based modelling of workflow systems: An overview ⋮ Scenario-Based Timing Consistency Checking for Time Petri Nets ⋮ Modeling and monitoring of E-commerce workflows ⋮ A Formal Model for Organisational Structures behind Process-Aware Information Systems
This page was built for publication:
