Verification problems in conceptual workflow specifications
- 31 January 1998
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 24 (3) , 239-256
- https://doi.org/10.1016/s0169-023x(97)00032-3
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Meta‐CASE: Is the game worth the candle?Information Systems Journal, 1996
- 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
- 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
- TOWARDS A MODEL FOR MULTIDATABASE TRANSACTIONSInternational Journal of Cooperative Information Systems, 1992
- Petri NetsPublished by Springer Nature ,1985
- Complexity of some problems in Petri netsTheoretical Computer Science, 1977