Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Application and Theory of Petri Nets and Concurrency 2020
Guest editors: Ryszard Janicki, Slawomir Lasota and Natalia Sidorova
Article type: Research Article
Authors: Fahland, Dirka; * | Denisov, Vadima | van der Aalst, Wil. M.P.b
Affiliations: [a] Eindhoven University of Technology, Eindhoven, the Netherlands. d.fahland@tue.nl, v.denisov@tue.nl | [b] Process and Data Science (Informatik 9), RWTH Aachen University, Aachen, Germany. wvdaalst@pads.rwth-aachen.de
Correspondence: [*] Address for correspondence: TU Eindhoven, PO Box 513, 5600MB Eindhoven, NL
Abstract: To identify the causes of performance problems or to predict process behavior, it is essential to have correct and complete event data. This is particularly important for distributed systems with shared resources, e.g., one case can block another case competing for the same machine, leading to inter-case dependencies in performance. However, due to a variety of reasons, real-life systems often record only a subset of all events taking place. To understand and analyze the behavior and performance of processes with shared resources, we aim to reconstruct bounds for timestamps of events in a case that must have happened but were not recorded by inference over events in other cases in the system. We formulate and solve the problem by systematically introducing multi-entity concepts in event logs and process models. We introduce a partial-order based model of a multi-entity event log and a corresponding compositional model for multi-entity processes. We define PQR-systems as a special class of multi-entity processes with shared resources and queues. We then study the problem of inferring from an incomplete event log unobserved events and their timestamps that are globally consistent with a PQR-system. We solve the problem by reconstructing unobserved traces of resources and queues according to the PQR-model and derive bounds for their timestamps using a linear program. While the problem is illustrated for material handling systems like baggage handling systems in airports, the approach can be applied to other settings where recording is incomplete. The ideas have been implemented in ProM and were evaluated using both synthetic and real-life event logs.
Keywords: Log repair, Process mining, Performance analysis, Multi-entity modeling, Multi-entity event logs, Conformance checking, Material handling systems
DOI: 10.3233/FI-2021-2087
Journal: Fundamenta Informaticae, vol. 183, no. 3-4, pp. 203-242, 2021
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl