Reference health

Process Equivalence: Comparing Two Process Models Based on Observed Behavior

14/14 checkable references clean · checked 2026-08-10

Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.

3 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.

The 14 checked references that resolve

resolves10.1016/S0304-3975(00)00321-2

Inheritance of workflows: an approach to tackling problems related to change

resolves10.1007/11494744_5

Genetic Process Mining

resolves10.1109/TKDE.2004.47

Workflow mining: discovering process models from event logs

resolves10.1007/3-540-12727-5_7

Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets

resolves10.1007/11539452_14

A Behavioural Pseudometric for Metric Labelled Transition Systems

resolves10.1007/3-540-45594-9_8

Validation of Process Models by Construction of Process Nets

resolves10.1016/j.tcs.2003.09.013

Metrics for labelled Markov processes

resolves10.1007/11494744_25

The ProM Framework: A New Era in Process Mining Tool Support

resolves10.1002/0471741442

Process‐Aware Information Systems

resolves10.1145/233551.233556

Branching time and abstraction in bisimulation semantics

resolves10.1007/11678564_18

Genetic Process Mining: A Basic Approach and Its Challenges

resolves10.1007/3-540-10235-3

A Calculus of Communicating Systems

resolves10.1016/j.compind.2003.10.004

Discovering workflow models from activities’ lifespans

resolves10.1007/11678564_15

Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models

The 3 references without a DOI — listed, not checked

no DOI — not checkedvan der Aalst, W.M.P., Alves de Medeiros, A.K., Weijters, A.J.M.M.: Process Equivalence in the Context of Genetic Mining. BPM Center Report BPM-06-15, BPMcenter.org. (2006)

no DOI — not checkedPomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions of Net Based Systems. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 420–472. Springer, Heidelberg (1992)

no DOI — not checkedReisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)

What this badge says. CiteStamped means the CHECKABLE references of this work were clean at the dated check: each resolved to a known work in a public registry, and none carried a retraction notice at that time. If Crossref’s record marks the work itself retracted, withdrawn, or removed, the badge says so instead of showing clean. It says nothing about the quality, findings, or importance of the work itself, and nothing about references deposited without a DOI.

checked 2026-08-10 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record

view as graph · paper page

Embed this badge

Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.

<a href="https://citestamp.com/citestamped/10.1007/11841760_10"><img src="https://citestamp.com/citestamped/10.1007/11841760_10/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>

[![CiteStamped reference-health badge](https://citestamp.com/citestamped/10.1007/11841760_10/badge.svg)](https://citestamp.com/citestamped/10.1007/11841760_10)