Matching Observed Behavior and Modeled Behavior: An Approach Based on Petri nets and Integer Programming

van der Aalst, Wil M. P.

Eindhoven University of Technology, Eindhoven (2004)
Book

Identifier