SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Logic-Based Approaches to Workflow Modeling and Verification · Study

ChapterShelves

ChapterLogic-Based Approaches to Workflow Modeling and Verification

Saikat Mukherjee2004

Chapter2004

Logic-Based Approaches to Workflow Modeling and Verification

Saikat Mukherjee · Hasan Davulcu · Michael Kifer · Pinar Senkul · Guizhen Yang

34 citations·0/0 files stored·Springer eBooks

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Logic, Reasoning, and Knowledge Formal Methods in Verification

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 34 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1995An overview of workflow management: From process modeling to workflow automation infrastructure 1997Verification of workflow nets 1998Modeling and Analysis of Workflows Using Petri Nets 1997Functionality and Limitations of Current Workflow Management Systems.1997A formal foundation for distributed workflow execution based on state charts 1999Declarative workflows that support easy modification and dynamic browsing 2002A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints

Cited by

2009Log-based transactional workflow mining 2005Decomposition-Based Verification of Cyclic Workflows 2011Constraint-centric workflow change analytics 2011Goal-Driven Business Process Derivation

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2013The P2P Approach to Interorganizational Workflowschapter · 4 shared references 1999Process-oriented architectures for electronic commerce and interorganizational workflowarticle · 4 shared references 2001The P2P Approach to Interorganizational Workflowsother · 4 shared references 2004An architecture for workflow scheduling under resource allocation constraintsarticle · 4 shared references 2000Workflow Modeling using Procletsother · 4 shared references 2004Applying Propositional Logic to Workflow Verificationarticle · 4 shared references

Details

Year2004

Typechapter

Published2004-01-01

VenueSpringer eBooks

Languageen

Citations34

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-18690-5_5

openalex_workW1528303182

Links

Imported from OpenAlex (CC0) — nothing here is generated.