@misc(lark, year = {2024}, title = {Lark - Parsing Library \& Toolkit}, url = {https://github.com/lark-parser/lark}, note = {Accessed: 2024-04-20}, ) @inproceedings(DBLP:conf/csl/AbdullaAHMKT14, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Piotr Hofman and Richard Mayr and K. Narayan Kumar and Patrick Totzke}, year = {2014}, title = {Infinite-state energy games}, editor = {Thomas A. Henzinger and Dale Miller}, booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014}, publisher = {{ACM}}, pages = {7:1--7:10}, doi = {10.1145/2603088.2603100}, ) @misc(graphviz, author = {Sebastian Bank}, year = {2024}, title = {Graphviz}, url = {https://github.com/xflr6/graphviz}, note = {Accessed: 2024-04-20}, ) @inproceedings(behrmann2007uppaal, author = {Gerd Behrmann and Agnes Cougnard and Alexandre David and Emmanuel Fleury and Kim G Larsen and Didier Lime}, year = {2007}, title = {UPPAAL-Tiga: Time for Playing Games! (Tool Paper)}, booktitle = {Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings 19}, organization = {Springer}, pages = {121--125}, doi = {10.1007/978-3-540-73368-3_14}, ) @inproceedings(cappiello2010first, author = {Cinzia Cappiello and Maria Grazia Fugini and GR Gangadharan and Alexandre Mello Ferreira and Barbara Pernici and Pierluigi Plebani}, year = {2010}, title = {First-step toward energy-aware adaptive business processes}, booktitle = {On the Move to Meaningful Internet Systems: OTM 2010 Workshops: Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings}, organization = {Springer}, pages = {6--7}, doi = {10.1007/978-3-642-16961-8_4}, ) @inproceedings(SymbAlgoSyntesisPN, author = {J. Carmona and J. Cortadella and M. Kishinevsky and A. Kondratyev and L. Lavagno and A. Yakovlev}, year = {2008}, title = {A Symbolic Algorithm for the Synthesis of Bounded Petri Nets}, booktitle = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets}, series = {PETRI NETS '08}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {92–111}, doi = {10.1007/978-3-540-68746-7_10}, ) @misc(pydot, author = {Ero Carrera}, year = {2024}, title = {Pydot}, url = {https://github.com/pydot/pydot}, note = {Accessed: 2024-04-20}, ) @inproceedings(chatterjee2011energy, author = {Krishnendu Chatterjee and Laurent Doyen}, year = {2011}, title = {Energy and mean-payoff parity Markov decision processes}, booktitle = {International Symposium on Mathematical Foundations of Computer Science}, organization = {Springer}, pages = {206--218}, doi = {10.1007/978-3-642-22993-0_21}, ) @article(combi2019modular, author = {Carlo Combi and Barbara Oliboni and Francesca Zerbato}, year = {2019}, title = {A modular approach to the specification and management of time duration constraints in BPMN}, journal = {Information Systems}, volume = {84}, pages = {111--144}, doi = {10.1016/j.is.2019.04.010}, ) @inproceedings(UPPAAL, author = {Alexandre David and Peter Gj{\o}l Jensen and Kim Guldstrand Larsen and Miku{\v{c}}ionis, Marius and Jakob Haahr Taankvist}, year = {2015}, title = {Uppaal Stratego}, editor = {Christel Baier and Cesare Tinelli}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {206--211}, doi = {10.1007/978-3-662-46681-0_16}, ) @inproceedings(de2012data, author = {De Leoni, Massimiliano and Van Der Aalst, Wil MP and Van Dongen, Boudewijn F}, year = {2012}, title = {Data-and resource-aware conformance checking of business processes}, booktitle = {Business Information Systems: 15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings 15}, organization = {Springer}, pages = {48--59}, doi = {10.1007/978-3-642-30359-3_5}, ) @article(dijkman2008semantics, author = {Remco M Dijkman and Marlon Dumas and Chun Ouyang}, year = {2008}, title = {Semantics and analysis of business process models in BPMN}, journal = {Information and Software technology}, volume = {50}, number = {12}, pages = {1281--1294}, doi = {10.1016/j.infsof.2008.02.006}, ) @inproceedings(DBLP:conf/bpmn/DumasGP10, author = {Marlon Dumas and Garc{\'{\i}}a{-}Ba{\~{n}}uelos, Luciano and Artem Polyvyanyy}, year = {2010}, title = {Unraveling Unstructured Process Models}, editor = {Jan Mendling and Matthias Weidlich and Mathias Weske}, booktitle = {Business Process Modeling Notation - Second International Workshop, {BPMN} 2010, Potsdam, Germany, October 13-14, 2010. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {67}, publisher = {Springer}, pages = {1--7}, doi = {10.1007/978-3-642-16298-5\_1}, ) @article(duran2018stochastic, author = {Francisco Dur{\'a}n and Camilo Rocha and Gwen Sala{\"u}n}, year = {2018}, title = {Stochastic analysis of BPMN with time in rewriting logic}, journal = {Science of Computer Programming}, volume = {168}, pages = {1--17}, doi = {10.1016/j.scico.2018.08.007}, ) @article(fernandes2021role, author = {Jorge Fernandes and Jo{\~a}o Reis and Mel{\~a}o, Nuno and Leonor Teixeira and Marlene Amorim}, year = {2021}, title = {The role of Industry 4.0 and BPMN in the arise of condition-based and predictive maintenance: A case study in the automotive industry}, journal = {Applied Sciences}, volume = {11}, number = {8}, pages = {3438}, doi = {10.3390/app11083438}, ) @article(fijalkow2010surprizing, author = {Nathana{\"e}l Fijalkow and Florian Horn}, year = {2010}, title = {The surprizing complexity of generalized reachability games}, journal = {arXiv preprint arXiv:1010.2420}, doi = {10.48550/arXiv.1010.2420}, ) @book(filar2012competitive, author = {Jerzy Filar and Koos Vrieze}, year = {2012}, title = {Competitive Markov decision processes}, publisher = {Springer Science \& Business Media}, doi = {10.1007/978-1-4612-4054-9}, ) @inproceedings(reachparamonecounterautomata, author = {Christoph Haase and Stephan Kreutzer and Joël Ouaknine and James Worrell}, year = {2009}, title = {Reachability in Succinct and Parametric One-Counter Automata}, pages = {369--383}, doi = {10.1007/978-3-642-04081-8_25}, ) @article(herbert2013precise, author = {Luke Herbert and Robin Sharp}, year = {2013}, title = {Precise quantitative analysis of probabilistic business process model and notation workflows}, journal = {Journal of Computing and Information Science in Engineering}, volume = {13}, number = {1}, pages = {011007}, doi = {10.1115/1.4023362}, ) @misc(dash, author = {Plotly Technologies Inc.}, year = {2024}, title = {Dash}, url = {https://dash.plotly.com/}, note = {Accessed: 2024-04-20}, ) @article(KORF1998181, author = {Richard E. Korf}, year = {1998}, title = {A complete anytime algorithm for number partitioning}, journal = {Artificial Intelligence}, volume = {106}, number = {2}, pages = {181--203}, doi = {10.1016/S0004-3702(98)00086-1}, ) @inproceedings(KNP11, author = {M. Kwiatkowska and G. Norman and D. Parker}, year = {2011}, title = {{PRISM} 4.0: Verification of Probabilistic Real-time Systems}, editor = {G. Gopalakrishnan and S. Qadeer}, booktitle = {Proc. 23rd International Conference on Computer Aided Verification (CAV'11)}, series = {LNCS}, volume = {6806}, publisher = {Springer}, pages = {585--591}, doi = {10.1007/978-3-642-22110-1_47}, ) @inproceedings(magnani2007computing, author = {Matteo Magnani and Danilo Montesi}, year = {2007}, title = {BPMN: How Much Does It Cost? An Incremental Approach}, editor = {Gustavo Alonso and Peter Dadam and Michael Rosemann}, booktitle = {Business Process Management}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {80--87}, doi = {10.1007/978-3-540-75183-0_6}, ) @article(aalpy, author = {Edi Muškardin and Bernhard Aichernig and Ingo Pill and Andrea Pferscher and Martin Tappler}, year = {2022}, title = {AALpy: an active automata learning library}, journal = {Innovations in Systems and Software Engineering}, volume = {18}, pages = {1--10}, doi = {10.1007/s11334-022-00449-3}, ) @article(peterson1977petri, author = {James L Peterson}, year = {1977}, title = {Petri nets}, journal = {ACM Computing Surveys (CSUR)}, volume = {9}, number = {3}, pages = {223--252}, doi = {10.1145/356698.356702}, ) @article(pufahl2022bpmn, author = {Luise Pufahl and Francesca Zerbato and Barbara Weber and Ingo Weber}, year = {2022}, title = {BPMN in healthcare: Challenges and best practices}, journal = {Information Systems}, volume = {107}, pages = {102013}, doi = {10.1016/j.is.2022.102013}, ) @inproceedings(thomas1995synthesis, author = {Wolfgang Thomas}, year = {1995}, title = {On the synthesis of strategies in infinite games}, booktitle = {Annual Symposium on Theoretical Aspects of Computer Science}, organization = {Springer}, pages = {1--13}, doi = {10.1007/3-540-59042-0_57}, ) @article(ZWICK1996343, author = {Uri Zwick and Mike Paterson}, year = {1996}, title = {The complexity of mean payoff games on graphs}, journal = {Theoretical Computer Science}, volume = {158}, number = {1}, pages = {343--359}, doi = {10.1016/0304-3975(95)00188-3}, )