GSM+T: a timed artifact-centric process model

DOI10.4230/LIPICS.TIME.2018.18zbMATH Open1487.68166OpenAlexW2899478466MaRDI QIDQ5079787FDOQ5079787

Authors: Julius Köpke, Johann Eder, Jianwen Su 

Publication date: 28 May 2022

Full work available at URL: https://doi.org/10.4230/LIPIcs.TIME.2018.18

Recommendations

• Semantics and controllability of time-aware business processes
• Formal modeling and analysis of business process timed constraints
• A relative timed semantics for BPMN
• Time processes for time Petri nets
• Formalisations and applications of BPMN

zbMATH Keywords

GSMcontrollabilitytime constraintscase handlingbusiness process modelingguard stage milestone

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Temporal constraint networks
• Dynamic controllability via timed game automata
• Title not available (Why is that?)

This page was built for publication: GSM+T: a timed artifact-centric process model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079787)