SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’
3 references·1 citing·12 second hop
Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’ (2014)Enabling model checking for collaborative…Theory of Modeling and Simulation (2018)Theory of Modeling and Simula…The application of interoperability requirement specification and verification to collaborative processes in industry (2012)The application of interopera…Business Process Modeling Notation (2008)Business Process Modeling Not…Controllability of business processes with temporal variables (2019)Controllability of business p…Quality of service for workflows and web service processes (2004)Time prediction based on process mining (2010)Compliance monitoring in business processes: Functionalities, application, and tool-support (2015)Business process management (BPM) standards: a survey (2009)Business process management with the user requirements notation (2009)Business process modeling languages (2010)A methodology for the evaluation of interoperability improvements in inter-enterprises collaboration based on causal performance measurement models (2013)Developing enterprise collaboration: a methodology to implement and improve interoperability (2014)Writing and verifying interoperability requirements: Application to collaborative processes (2016)Proceedings of the 2002 Winter Simulation Conference (2002)State-of-the-Art Review: A User’s Guide to the Brave New World of Designing Simulation Experiments (2005)Conceptual modelling for simulation Part I: definition and requirements (2007)
this work references cited by second hop

References

  • 2018Theory of Modeling and Simulation2,914 cited
  • 2008Business Process Modeling Notation430 cited
  • 2012The application of interoperability requirement specification and verification to collaborative processes in industry59 cited

Cited by

  • 2019Controllability of business processes with temporal variables23 cited

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