Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

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

Stochastic analysis of BPMN with time in rewriting logic

10 references·4 citing·43 second hop

FromToDepth

this work references cited by second hop

References

2016Process Mining: Data Science in Action866 cited
2008Semantics and analysis of business process models in BPMN727 cited
2008A Process Semantics for BPMN178 cited
2002Discovering Workflow Performance Models from Timed Logs158 cited
2009Business process verification – finally a reality!158 cited
2007Transformation of BPMN Models for Behaviour Analysis78 cited
2009Time-BPMN72 cited
2012Checking the realizability of BPMN 2.0 choreographies63 cited
2009A Relative Timed Semantics for BPMN56 cited
2016A metamodel to integrate business processes time perspective in BPMN 2.048 cited

Cited by

2019A rewriting logic approach to resource allocation analysis in business process models28 cited
2021Resource provisioning strategies for BPMN processes: Specification and analysis using Maude19 cited
2022Probabilistic Model Checking of BPMN Processes at Runtime15 cited
2021A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations13 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work