Scalable alignment of process models and event logs: An approach based on automata and S-components

A Formal Basis for the Heuristic Determination of Minimum Cost Paths

Peter Hart, Nils J. Nilsson, Bertram Raphael · IEEE Transactions on Systems Science and Cybernetics · 1968 · 12.3K citations

Computing, Decision Sciences, Algorithms +15

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

Wil M. P. van der Aalst · Journal of Circuits Systems and Computers · 1998 · 2.7K citations

Engineering, Computer Science, Information Systems +17

Conformance checking of processes based on monitoring real behavior

A. Rozinat, Wil M. P. van der Aalst · Information Systems · 2007 · 1.1K citations

Computing, Computer Science, Systems Engineering +10

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 915 citations

Computing, Computer Engineering, Computer Science +9