Verification problems in conceptual workflow specifications
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- CORBA-Based Run-Time Architectures for Workflow Management SystemsJournal of Database Management, 1996
- General purpose work flow languagesDistributed and Parallel Databases, 1995
- Managing heterogeneous multi-system tasks to support enterprise-wide operationsDistributed and Parallel Databases, 1995
- An overview of workflow management: From process modeling to workflow automation infrastructureDistributed and Parallel Databases, 1995
- Conceptual modeling of workflowsPublished by Springer Nature ,1995
- Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflowsACM SIGMOD Record, 1993
- Task structure semantics through process algebraSoftware Engineering Journal, 1993
- Complexity of some problems in Petri netsTheoretical Computer Science, 1977