On Modeling and Verification of Temporal Constraints in Production Workflows

This publication has 9 references indexed in Scilit:

• Verification problems in conceptual workflow specifications
  Published by Springer Nature ,1996
• Rhythms of collaboration
  Communications of the ACM, 1995
• Workflow = OIS? A report of a workshop at the CSCW '94 conference
  ACM SIGOIS Bulletin, 1995
• An overview of workflow management: From process modeling to workflow automation infrastructure
  Distributed and Parallel Databases, 1995
• Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management
  Published by Springer Nature ,1995
• Negotiating temporal orders
  Computer Supported Cooperative Work (CSCW), 1992
• The action workflow approach to workflow management technology
  Published by Association for Computing Machinery (ACM) ,1992
• Temporal constraint networks
  Artificial Intelligence, 1991
• Temporal data management systems: a comparative view
  IEEE Transactions on Knowledge and Data Engineering, 1991