Isotactics as a foundation for alignment and abstraction of behavioral models

There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying equivalence is the basis for assessing whether a technical workflow correctly implements a business process, or whether a process realization conforms to a reference process. This paper proposes an equivalence relation for models that describe behaviors based on the concurrency semantics of net theory and for which an alignment relation has been defined. This equivalence, called isotactics, preserves the level of concurrency of aligned operations. Furthermore, we elaborate on the conditions under which an alignment relation can be classified as an abstraction. Finally, we show that alignment relations induced by structural refinements of behavioral models are indeed behavioral abstractions

Supporting Domain Data Selection in Data-Enhanced Process Models

Process mining bridges the gap between process management and data science by discovering process models using event logs derived from real-world data. Besides mandatory event attributes, additional attributes can be part of an event representing domain data, such as human resources and costs. Data-enhanced process models provide a visualization of domain data associated to process activities directly in the process model, allowing to monitor the actual values of domain data in the form of event attribute aggregations. However, event logs can have so many attributes that it is difficult to decide, which one is of interest to observe throughout the process. This paper introduces three mechanisms to support domain data selection, allowing process analysts and domain experts to progressively reach their information of interest. We applied the proposed technique on the MIMIC-IV real-world data set on hospitalizations in the US

Methods of Measurement of High Air Velocities by the Hot-wire Method

Investigations of strengths of hot wires at high velocities were conducted with platinum, nickel, and tungsten at approximately 200 Degrees Celcius hot-wire temperature. The results appear to disqualify platinum for velocities approaching the sonic range; whereas nickel withstands sound velocity, and tungsten may be used for supersonic velocities under standard atmospheric conditions. Hot wires must be supported by rigid prolongs at high velocities to avoid wire breakage. Resting current measurements for constant temperature show agreement with King's relation

A Hot-wire Circuit with Very Small Time Lag

A circuit for a hot-wire anemometer for the measurement of fluctuating flow is presented in the present report. The principal elements of the circuit are a Wheatstone bridge, one branch of which is the hot wire; and an electronic amplifier and a current regulator for the brief current which in combination maintain the bridge balance constant. Hence the hot wire is kept at practically constant resistance and temperature, and the time lag caused by thermal inertia of the wire is thereby reduced. Through the addition of a nonlinear amplifying stage the reading of the instrument has been rendered proportional to the velocity. A discussion of certain characteristics of the circuit and the results of related calibrating tests are given