Pipeline
Submitted
Credit Review
Passed
Employment Review
Passed
Merged
Underwriting
Decision
Role
Initiates the loan review process
Available Actions
Event Timeline
Loan application submitted. Waiting for processor to start reviews.
How It Works
This demo models a loan approval pipeline using a Petri net with a fork-join pattern:
- Fork: The processor starts two parallel reviews (credit + employment)
- Parallel lanes: Each analyst works independently
- Join: Both reviews must pass before underwriting can begin
- Early termination: A credit failure can immediately reject
The Petri net enforces the synchronization barrier at the merge point. The underwriter can only act when both tokens arrive at the join place. This is a core BPMN pattern that Petri nets model natively.
Switch between roles to see each participant's view. Only transitions matching your role are available.