pith. sign in

arxiv: 2606.27399 · v1 · pith:TN3IERVUnew · submitted 2026-06-24 · 💻 cs.SE · cs.FL· cs.LO

Formal Grammars in Business Process Management: A Systematic Literature Review

Milliam Maxime Zekeng Ndadji This is my paper

Pith reviewed 2026-06-29 01:47 UTC · model grok-4.3

classification 💻 cs.SE cs.FLcs.LO
keywords formal grammarsbusiness process managementsystematic literature reviewprocess modelingprocess miningworkflow verificationgrammatical inference
0
0 comments X

The pith

Formal grammars influence every phase of business process management through seven parallel research streams.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper conducts a systematic review of 34 studies on the use of formal grammars in business process management. It organizes the work into seven streams that together address design, modeling evaluation, structural specification, workflow execution, model transformation, discovery from data, and behavioral verification. These streams have advanced independently with little exchange despite covering the full lifecycle of processes. The authors identify five open challenges and argue that greater integration of grammatical ideas across streams could improve how processes are handled in practice.

Core claim

Formal grammars have influenced BPM across every lifecycle phase from organizational design to formal verification and data-driven discovery yet the seven streams have developed largely in parallel without cross-stream synthesis.

What carries the argument

Classification of the 34 studies into seven distinct research streams defined by the grammatical formalism used and its primary BPM application.

If this is right

  • Grammars support process specification and variant management at the structural level.
  • Attribute and graph grammars enable declarative execution and semantic analysis of models.
  • Grammatical inference techniques contribute directly to data-driven process discovery.
  • Process algebras provide compositional frameworks for verification across behavioral properties.
  • Integration across the seven streams is required to address the five identified open challenges.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The observed pattern of parallel development without synthesis may recur in other domains where formal methods meet applied modeling tasks.
  • A practical test could apply methods from two or more streams to the same business process example to measure combined benefits.
  • Subsequent literature could be monitored to see whether new work begins to bridge the streams identified here.

Load-bearing premise

The 34 primary studies form a representative and exhaustive sample of the intersection between formal grammars and BPM, and the division into exactly seven distinct non-overlapping research streams accurately captures the literature without significant omissions or misclassifications.

What would settle it

Discovery of multiple studies that combine techniques from more than one of the seven streams would indicate that cross-stream synthesis already exists.

Figures

Figures reproduced from arXiv: 2606.27399 by Milliam Maxime Zekeng Ndadji.

Figure 1
Figure 1. Figure 1: PRISMA-style flow diagram of the literature search and selection process. [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
read the original abstract

Business Process Management (BPM) is concerned with the systematic design, execution, monitoring, and improvement of business processes. Formal grammars have emerged as a particularly fruitful formalism for BPM, offering generative, declarative, and analytical capabilities that are uniquely well-suited to process-oriented concerns. This paper presents a systematic literature review of 34 primary studies at the intersection of formal grammars and BPM. We identify seven research streams: (i) process grammars for organizational process design; (ii) process modeling languages evaluated as grammars under the Bunge-Wand-Weber ontological framework; (iii) production-rule grammars for process structural specification and variant management; (iv) attribute grammars for the declarative specification and distributed execution of workflows; (v) graph grammars for the transformation, generation, and semantic analysis of process models; (vi) grammatical inference for process mining and discovery; and (vii) process algebras as grammar-like compositional frameworks for behavioral specification and verification. For each stream, we synthesize contributions, formalisms employed, and limitations. The review reveals that formal grammars have influenced BPM across every lifecycle phase (from organizational design to formal verification and data-driven discovery) yet the seven streams have developed largely in parallel, without cross-stream synthesis. We identify five corpus-grounded open challenges and argue that a deeper, unified exploitation of grammatical theory holds significant promise for advancing the state of the art in BPM.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. This paper presents a systematic literature review of 34 primary studies at the intersection of formal grammars and Business Process Management (BPM). It groups the literature into seven research streams—(i) process grammars for organizational design, (ii) modeling languages under the Bunge-Wand-Weber framework, (iii) production-rule grammars, (iv) attribute grammars, (v) graph grammars, (vi) grammatical inference for process mining, and (vii) process algebras—synthesizing contributions, formalisms, and limitations for each. The central claim is that formal grammars have influenced every BPM lifecycle phase yet the streams developed largely in parallel without cross-stream synthesis; the review identifies five corpus-grounded open challenges and argues for deeper unified exploitation of grammatical theory.

Significance. If the 34-study sample is exhaustive and the seven-stream partition is accurate and non-overlapping, the review would usefully map an under-integrated area of BPM research and surface concrete open problems that could guide future work on cross-stream synthesis. The coherent grouping and per-stream synthesis of formalisms and limitations constitute a clear contribution to the literature.

major comments (2)
  1. [Methodology] Methodology section: The manuscript provides no description of the databases searched, search strings, inclusion/exclusion criteria, screening process, or any inter-rater reliability measures for study selection and stream assignment. This is load-bearing for the central claim because the assertions of exhaustive coverage, parallel development without synthesis, and the five open challenges all rest on the representativeness of the 34 studies and the validity of the seven-stream classification.
  2. [Section 4] Section 4 (stream classification): No explicit decision criteria, decision tree, or worked examples are supplied for assigning a primary study to one stream versus another (e.g., a paper using both graph grammars and attribute grammars). Without such documentation, the claim that the seven streams are distinct and non-overlapping cannot be verified and the “no cross-stream synthesis” observation is at risk of being an artifact of the partitioning scheme.
minor comments (2)
  1. [Abstract and Section 3] The abstract states “34 primary studies” but the main text should explicitly confirm the final number after duplicate removal and full-text screening.
  2. [Appendix] Table or appendix listing the 34 studies with their assigned streams would improve traceability and allow readers to assess classification decisions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments, which identify key areas where methodological transparency can be strengthened. We address each point below and will incorporate the suggested additions in the revised manuscript.

read point-by-point responses

  1. Referee: [Methodology] Methodology section: The manuscript provides no description of the databases searched, search strings, inclusion/exclusion criteria, screening process, or any inter-rater reliability measures for study selection and stream assignment. This is load-bearing for the central claim because the assertions of exhaustive coverage, parallel development without synthesis, and the five open challenges all rest on the representativeness of the 34 studies and the validity of the seven-stream classification.

    Authors: We agree that a detailed account of the review protocol is essential for establishing the representativeness of the 34 studies and the validity of the seven-stream classification. In the revised version we will add a dedicated Methodology subsection that specifies: the databases and repositories searched (ACM Digital Library, IEEE Xplore, Scopus, Web of Science, SpringerLink, and Google Scholar), the Boolean search strings used, the inclusion/exclusion criteria applied at each screening stage, the multi-reviewer screening workflow, and inter-rater reliability statistics (Cohen’s kappa) for both study selection and stream assignment. These additions will directly support the claims of exhaustive coverage and the observed lack of cross-stream synthesis. revision: yes

  2. Referee: [Section 4] Section 4 (stream classification): No explicit decision criteria, decision tree, or worked examples are supplied for assigning a primary study to one stream versus another (e.g., a paper using both graph grammars and attribute grammars). Without such documentation, the claim that the seven streams are distinct and non-overlapping cannot be verified and the “no cross-stream synthesis” observation is at risk of being an artifact of the partitioning scheme.

    Authors: We accept that explicit classification criteria are required to demonstrate that the seven streams are distinct and non-overlapping. The revised manuscript will include, within Section 4, a new subsection that presents the decision criteria in the form of a decision tree together with worked examples. These examples will illustrate how studies employing multiple formalisms (such as both graph grammars and attribute grammars) were assigned to a primary stream, thereby allowing readers to verify the partitioning and the consequent observation of limited cross-stream integration. revision: yes

Circularity Check

0 steps flagged

No circularity: descriptive literature synthesis with no derivations or self-referential reductions

full rationale

This systematic literature review contains no equations, predictions, fitted parameters, or derivation chains that could reduce to their own inputs by construction. The seven research streams are presented as an organizational synthesis of the 34 external primary studies rather than a self-definitional or fitted classification. Claims regarding parallel development and open challenges rest on the reviewed corpus and do not invoke self-citation load-bearing premises, uniqueness theorems from the authors, or ansatzes smuggled via citation. The paper is self-contained as a descriptive mapping of external literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As a literature review the paper introduces no new formal parameters, axioms, or invented entities; it relies only on standard review methodology and the cited primary studies.

pith-pipeline@v0.9.1-grok · 5785 in / 1162 out tokens · 47908 ms · 2026-06-29T01:47:30.636408+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

89 extracted references · 17 canonical work pages

  1. [1]

    2008 , note =

    Julian Gilbey and Antoine Lejay , title =. 2008 , note =

    2008

  2. [2]

    ParadigmPlus , volume=

    A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling , author=. ParadigmPlus , volume=. 2020 , doi=

    2020

  3. [3]

    2003 , school=

    Expressiveness and suitability of languages for control flow modelling in workflows , author=. 2003 , school=

    2003

  4. [4]

    Software & Systems Modeling , volume=

    Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL , author=. Software & Systems Modeling , volume=. 2012 , publisher=

    2012

  5. [5]

    Non-Recursive LSAWfP Models are Structured Workflows , journal =

    Zekeng Ndadji, Milliam Maxime and Nguedia Momo, Daniela Marionne and Tonle Noumbo, Franck Bruno and Tchoup. Non-Recursive LSAWfP Models are Structured Workflows , journal =. 2023 , doi =

    2023

  6. [6]

    Workflow Management Coalition , year=

    Workflow management coalition terminology and glossary , author=. Workflow Management Coalition , year=

  7. [7]

    Kiepuszewski, Bartek and Ter Hofstede, Arthur H. M. and Van Der Aalst, Wil M. P. , title =. Acta Informatica , volume =. 2003 , doi =

    2003

  8. [8]

    Dumas, Marlon and ter Hofstede, Arthur H. M. UML Activity Diagrams as a Workflow Specification Language. UML 2001 --- The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 2001

    2001

  9. [9]

    Distributed and parallel databases , volume=

    Workflow patterns , author=. Distributed and parallel databases , volume=. 2003 , publisher=

    2003

  10. [10]

    SN Computer Science , volume=

    A Grammatical Approach for Administrative Workflow Design and their Distributed Execution Using Structured and Cooperatively Edited Mobile Artifacts , author=. SN Computer Science , volume=. 2024 , publisher=

    2024

  11. [11]

    A projection-stable grammatical model for the distributed execution of administrative processes with emphasis on actors' views , journal =

    Zekeng Ndadji, Milliam Maxime and Tchoup. A projection-stable grammatical model for the distributed execution of administrative processes with emphasis on actors' views , journal =. 2021 , doi =

    2021

  12. [12]

    Proceedings of the 14th European Conference on Information Systems , pages=

    How good is BPMN really? Insights from theory and practice , author=. Proceedings of the 14th European Conference on Information Systems , pages=. 2006 , organization=

    2006

  13. [13]

    Software and Systems Modeling , pages=

    Business process modeling language selection for research modelers , author=. Software and Systems Modeling , pages=. 2024 , volume=

    2024

  14. [14]

    Artificial Intelligence and Law , volume=

    Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation , author=. Artificial Intelligence and Law , volume=. 2018 , publisher=

    2018

  15. [15]

    Jan Recker , title =. Bus. Process. Manag. J. , volume =. 2010 , url =. doi:10.1108/14637151011018001 , timestamp =

    work page doi:10.1108/14637151011018001 2010

  16. [16]

    Dijkman and Marlon Dumas and Chun Ouyang , title =

    Remco M. Dijkman and Marlon Dumas and Chun Ouyang , title =. Inf. Softw. Technol. , volume =. 2008 , url =. doi:10.1016/J.INFSOF.2008.02.006 , timestamp =

    work page doi:10.1016/j.infsof.2008.02.006 2008

  17. [17]

    A Comparison of Flexible

    Andr. A Comparison of Flexible. 22nd. 2018 , url =. doi:10.1109/EDOC.2018.00023 , timestamp =

    work page doi:10.1109/edoc.2018.00023 2018

  18. [18]

    Comparing Declarative Process Modelling Languages from the Organisational Perspective , booktitle =

    Stefan Sch. Comparing Declarative Process Modelling Languages from the Organisational Perspective , booktitle =. 2015 , url =. doi:10.1007/978-3-319-42887-1\_2 , timestamp =

    work page doi:10.1007/978-3-319-42887-1 2015

  19. [19]

    Petia Wohed and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede and Nick Russell , editor =. On the Suitability of. Business Process Management, 4th International Conference,. 2006 , url =. doi:10.1007/11841760\_12 , timestamp =

    work page doi:10.1007/11841760 2006

  20. [20]

    A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars

    Rosemann, Michael and Recker, Jan and Indulska, Marta and Green, Peter. A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars. Advanced Information Systems Engineering. 2006

    2006

  21. [21]

    Declarative Process Modeling in

    Giuseppe De Giacomo and Marlon Dumas and Fabrizio Maria Maggi and Marco Montali , editor =. Declarative Process Modeling in. Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings , series =. 2015 , url =. doi:10.1007/978-3-319-19069-3\_6 , timestamp =

    work page doi:10.1007/978-3-319-19069-3 2015

  22. [22]

    Kristina Rosenthal and Benjamin Ternes and Stefan Strecker , title =. Bus. Inf. Syst. Eng. , volume =. 2021 , url =. doi:10.1007/S12599-021-00690-3 , timestamp =

    work page doi:10.1007/s12599-021-00690-3 2021

  23. [23]

    Introduction to BPMN , pages=

    IBM Corporation , author=. Introduction to BPMN , pages=

  24. [24]

    , title =

    Dumas, Marlon and La Rosa, Marcello and Mendling, Jan and Reijers, Hajo A. , title =. 2018 , isbn =

    2018

  25. [25]

    Information systems , volume=

    YAWL: yet another workflow language , author=. Information systems , volume=. 2005 , publisher=

    2005

  26. [26]

    Structural Characterizations of Sound Workflow Nets , author=

  27. [27]

    2005 , publisher=

    Scheer, August-Wilhelm and Thomas, Oliver and Adam, Otmar , title=. 2005 , publisher=

    2005

  28. [28]

    Tchoup. R. CARI 2016 Proceedings , year =

    2016

  29. [29]

    Journal of Software Engineering and Applications , volume =

    Tchoup. Journal of Software Engineering and Applications , volume =. 2017 , publisher =

    2017

  30. [30]

    Innovation and Interdisciplinary Solutions for Underserved Areas , pages =

    Zekeng Ndadji, Milliam Maxime and Tchoup. Innovation and Interdisciplinary Solutions for Underserved Areas , pages =. 2018 , publisher =

    2018

  31. [31]

    Business Process Model and Notation -

    Mark von Rosing and Stephen White and Fred Cummins and Henk de Man , editor =. Business Process Model and Notation -. The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume. 2015 , url =. doi:10.1016/B978-0-12-799959-3.00021-5 , timestamp =

    work page doi:10.1016/b978-0-12-799959-3.00021-5 2015

  32. [32]

    Indexing and querying XML using extended Dewey labeling scheme , journal =

    Jiaheng Lu and Xiaofeng Meng and Tok Wang Ling , keywords =. Indexing and querying XML using extended Dewey labeling scheme , journal =. 2011 , issn =. doi:https://doi.org/10.1016/j.datak.2010.08.001 , url =

    work page doi:10.1016/j.datak.2010.08.001 2011

  33. [33]

    , title =

    Nigam, Anil and Caswell, Nathan S. , title =. IBM Systems Journal , volume =. 2003 , doi =

    2003

  34. [34]

    and Hull, Richard and Liu, Rong and Su, Jianwen , title =

    Bhattacharya, Kamal and Gerede, Cagdas E. and Hull, Richard and Liu, Rong and Su, Jianwen , title =. Business Process Management , year =

  35. [35]

    Furrer and Susanne Strahringer , title =

    Tarek Skouti and Ronny Seiger and Frank J. Furrer and Susanne Strahringer , title =. Softw. Syst. Model. , volume =. 2024 , url =. doi:10.1007/S10270-024-01202-Z , timestamp =

    work page doi:10.1007/s10270-024-01202-z 2024

  36. [36]

    Ali Nour Eldin and Jonathan Baudot and Benjamin Dalmas and Walid Gaaloul , title =. Inf. Syst. , volume =. 2026 , url =. doi:10.1016/J.IS.2025.102577 , timestamp =

    work page doi:10.1016/j.is.2025.102577 2026

  37. [37]

    2021 , institution=

    Data-flow analysis of BPMN-based process-driven applications: Detecting anomalies across model and code , author=. 2021 , institution=

    2021

  38. [38]

    Data Knowl

    Marco Montali and Sarah Winkler , title =. Data Knowl. Eng. , volume =. 2024 , url =. doi:10.1016/J.DATAK.2024.102363 , timestamp =

    work page doi:10.1016/j.datak.2024.102363 2024

  39. [39]

    Hopcroft and Rajeev Motwani and Jeffrey D

    John E. Hopcroft and Rajeev Motwani and Jeffrey D. Ullman , title =. 2007 , isbn =

    2007

  40. [40]

    1979 , url =

    Jean Berstel , title =. 1979 , url =

    1979

  41. [41]

    A Nominal Approach to Probabilistic Separation Logic,

    Anupam Das and Abhishek De , editor =. A proof theory of right-linear (. Proceedings of the 39th Annual. 2024 , url =. doi:10.1145/3661814.3662138 , timestamp =

    work page doi:10.1145/3661814.3662138 2024

  42. [42]

    Language and automata theory and applications , SERIES =

    Antonio Restivo , editor =. The Shuffle Product: New Research Directions , booktitle =. 2015 , url =. doi:10.1007/978-3-319-15579-1\_5 , timestamp =

    work page doi:10.1007/978-3-319-15579-1 2015

  43. [43]

    The expressive power of the shuffle product , journal =

    Jean Berstel and Luc Boasson and Olivier Carton and Jean. The expressive power of the shuffle product , journal =. 2010 , url =. doi:10.1016/J.IC.2010.06.002 , timestamp =

    work page doi:10.1016/j.ic.2010.06.002 2010

  44. [44]

    ACM Sigact News , volume=

    Introduction to the Theory of Computation , author=. ACM Sigact News , volume=. 1996 , publisher=

    1996

  45. [45]

    2025 , url =

    Mitsunori Ogihara , title =. 2025 , url =. doi:10.1007/978-3-031-84740-0 , isbn =

    work page doi:10.1007/978-3-031-84740-0 2025

  46. [46]

    arXiv preprint arXiv:2105.12654 , doi=

    Business Suitability Principles for Workflow Modelling , author=. arXiv preprint arXiv:2105.12654 , doi=

    work page arXiv

  47. [47]

    ACM SIGAPP Applied Computing Review , volume=

    Active workspaces: distributed collaborative systems based on guarded attribute grammars , author=. ACM SIGAPP Applied Computing Review , volume=. 2015 , publisher=

    2015

  48. [48]

    , title =

    Pentland, Brian T. , title =. 1994 , url =

    1994

  49. [49]

    , title =

    Pentland, Brian T. , title =. Organization Science , volume =. 1995 , doi =

    1995

  50. [50]

    and Pentland, Brian T

    Lee, Jintae and Wyner, George M. and Pentland, Brian T. , title =. MIS Quarterly , volume =. 2008 , doi =

    2008

  51. [51]

    , title =

    Lee, Jintae and Pentland, Brian T. , title =

  52. [52]

    Information Systems Research , volume =

    Datta, Anindya , title =. Information Systems Research , volume =. 1998 , doi =

    1998

  53. [53]

    European Journal of Information Systems , volume =

    Recker, Jan and Indulska, Marta and Rosemann, Michael and Green, Peter , title =. European Journal of Information Systems , volume =. 2010 , doi =

    2010

  54. [54]

    Scandinavian Journal of Information Systems , volume =

    Recker, Jan and Rosemann, Michael , title =. Scandinavian Journal of Information Systems , volume =

  55. [55]

    Information Systems , volume =

    Recker, Jan , title =. Information Systems , volume =. 2012 , doi =

    2012

  56. [56]

    MIS Quarterly , volume =

    Recker, Jan and Rosemann, Michael and Green, Peter and Indulska, Marta , title =. MIS Quarterly , volume =. 2011 , doi =

    2011

  57. [57]

    European Journal of Information Systems , volume =

    Recker, Jan , title =. European Journal of Information Systems , volume =. 2013 , doi =

    2013

  58. [58]

    2011 , doi =

    Recker, Jan , title =. 2011 , doi =

    2011

  59. [59]

    A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment , institution =

    Badouel, Eric and H. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment , institution =. 2014 , url =

    2014

  60. [60]

    Applying Triple Graph Grammars for Pattern-Based Workflow Model Transformations , journal =

    Lohmann, Carsten and Greenyer, Joel and Jiang, Juanjuan and Syst. Applying Triple Graph Grammars for Pattern-Based Workflow Model Transformations , journal =. 2007 , doi =

    2007

  61. [61]

    Journal of Visual Languages and Computing , volume =

    Mazanek, Steffen and Hanus, Michael , title =. Journal of Visual Languages and Computing , volume =. 2011 , doi =

    2011

  62. [62]

    Computers and Electrical Engineering , volume =

    Shi, Zhan and Zeng, Xiaoqin and Zhang, Tingting and Huang, Song and Qi, Zekun and Li, Hui and Hu, Bin and Yao, Yi and Zhong, Shuiming , title =. Computers and Electrical Engineering , volume =. 2016 , doi =

    2016

  63. [63]

    A Higher-Order Transformation Approach to the Formalization and Analysis of

    Kr. A Higher-Order Transformation Approach to the Formalization and Analysis of. Logical Methods in Computer Science , volume =. 2024 , doi =

    2024

  64. [64]

    , title =

    Kataeva, Valeriia and Kalenkova, Anna A. , title =. Proceedings of the IEEE International Conference on Computer Science and Information Technologies , year =

  65. [65]

    2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) , pages =

    Ayari, Salma and Bendali Hlaoui, Yousra and Ben Ayed, Leila , title =. 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) , pages =. 2019 , publisher =

    2019

  66. [66]

    and Fajrin Arif, Nurul and Manfaat, Djauhar and Arif, M

    Sarno, Riyanarto and Ayu Widyasari, W. and Fajrin Arif, Nurul and Manfaat, Djauhar and Arif, M. Sholikhan and Baihaqi, Imam , title =. 2015 International Conference on Science in Information Technology (ICSITech) , pages =. 2015 , publisher =

    2015

  67. [67]

    From Feature Models to Business Processes , booktitle =

    Montero, Ildefonso and Pe. From Feature Models to Business Processes , booktitle =. 2008 , publisher =

    2008

  68. [68]

    , title =

    van der Aa, Han and Di Ciccio, Claudio and Leopold, Henrik and Reijers, Hajo A. , title =. Advanced Information Systems Engineering -- 31st International Conference,. 2019 , publisher =

    2019

  69. [69]

    Comprehensible Predictive Models for Business Processes , journal =

    Breuker, Dominic and Matzner, Martin and Delfmann, Patrick and Becker, J. Comprehensible Predictive Models for Business Processes , journal =. 2016 , doi =

    2016

  70. [70]

    Process Mining Based on Regions of Languages , booktitle =

    Bergenthum, Robin and Desel, J. Process Mining Based on Regions of Languages , booktitle =. 2007 , publisher =

    2007

  71. [71]

    Advanced Information Systems Engineering -- 36th International Conference,

    Alkhammash, Hanan and Polyvyanyy, Artem and Moffat, Alistair , title =. Advanced Information Systems Engineering -- 36th International Conference,. 2024 , publisher =

    2024

  72. [72]

    Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management , year =

    Watanabe, Akio and Takahashi, Yousuke and Ikeuchi, Hiroki and Matsuda, Kotaro , title =. Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management , year =

  73. [73]

    Information and Control , volume =

    Chomsky, Noam , title =. Information and Control , volume =. 1959 , doi =

    1959

  74. [74]

    , title =

    Knuth, Donald E. , title =. Mathematical Systems Theory , volume =. 1968 , doi =

    1968

  75. [75]

    van der Aalst, Wil M. P. and ter Hofstede, Arthur H. M. and Weske, Mathias , title =. Business Process Management -- 1st International Conference,. 2003 , publisher =

    2003

  76. [76]

    and Rueter, Henry H

    Pentland, Brian T. and Rueter, Henry H. , title =. Administrative Science Quarterly , volume =. 1994 , doi =

    1994

  77. [77]

    1997 , doi =

    Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations , publisher =. 1997 , doi =

    1997

  78. [78]

    Journal of Information Systems , volume =

    Wand, Yair and Weber, Ron , title =. Journal of Information Systems , volume =. 1993 , doi =

    1993

  79. [79]

    Kitchenham, Barbara and Charters, Stuart , title =

  80. [80]

    Moher, David and Liberati, Alessandro and Tetzlaff, Jennifer and Altman, Douglas G. and. Preferred Reporting Items for Systematic Reviews and Meta-Analyses: The. PLOS Medicine , volume =. 2009 , doi =

    2009

Showing first 80 references.