The equivalency between logic Petri workflow nets and workflow nets

Jing Wang1, ShuXia Yu1, YuYue Du1

  • 1Shandong University of Science and Technology, Qingdao, China.

Summary

Logic Petri workflow nets (LPWNs) enhance process mining by addressing log issues. This study proves LPWNs are equivalent to workflow nets (WF-nets), showcasing LPWN advantages for cooperative systems.

Related Concept Videos

Relation between Mathematical Equations and Block Diagrams01:20

Relation between Mathematical Equations and Block Diagrams

In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.
3.9K
Equivalent Resistance01:16

Equivalent Resistance

In circuit analysis, situations often arise where resistors are neither in series nor parallel configurations. To tackle such scenarios, three-terminal equivalent networks like the wye (Y) (Figure 1 (a)) or tee (T) and delta (Δ) (Figure 1 (b)) or pi (π) networks come into play. These networks offer versatile solutions and are frequently encountered in various applications, including three-phase electrical systems, electrical filters, and matching networks.
1.3K
Signal Flow Graphs01:18

Signal Flow Graphs

Signal-flow graphs offer a streamlined and intuitive approach to representing control systems, providing an alternative to traditional block diagrams. These graphs use branches to symbolize systems and nodes to represent signals, effectively illustrating the relationships and interactions within the system.
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
792
Norton Equivalent Circuits01:16

Norton Equivalent Circuits

Norton's theorem is a fundamental concept in the field of electrical engineering that allows for the simplification of complex AC circuits. The theorem states that any two-terminal linear network can be replaced with an equivalent circuit that consists of an impedance, which is parallel with a constant current source. Figure 1 shows the AC circuit portioned into two parts: Circuit A and Circuit B, while Figure 2 depicts the circuit obtained by replacing Circuit A by its Norton equivalent...
990
Block Diagram Reduction01:22

Block Diagram Reduction

The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
674
Principle of Equivalence01:18

Principle of Equivalence

According to Albert Einstein (1897-1955), free-falling and feeling weightless are intrinsically linked. If a person were in free-fall under gravity, for example, diving towards the Earth from an airplane, they would feel completely weightless. Similarly, a person descending in a lift may feel partially weightless. Broadly speaking, it is assumed that an object in a uniform gravitational field and an object undergoing constant acceleration in the absence of gravity are under the same...
2.7K