Cover Image

Translating Workflow Nets into the Partially Ordered Workflow Language

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kourani, Humam, Park, Gyunam, van der Aalst, Wil
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hierarchical Decomposition of Separable Workflow-Nets
by: Kourani, Humam, et al.
Published: (2026)

Revealing Inherent Concurrency in Event Data: A Partial Order Approach to Process Discovery
by: Kourani, Humam, et al.
Published: (2025)

Unlocking Non-Block-Structured Decisions: Inductive Mining with Choice Graphs
by: Kourani, Humam, et al.
Published: (2025)

PM-LLM-Benchmark: Evaluating Large Language Models on Process Mining Tasks
by: Berti, Alessandro, et al.
Published: (2024)

Bridging Domain Knowledge and Process Discovery Using Large Language Models
by: Norouzifar, Ali, et al.
Published: (2024)

PMAx: An Agentic Framework for AI-Driven Process Mining
by: Antonov, Anton, et al.
Published: (2026)

Integrating Domain Knowledge into Process Discovery Using Large Language Models
by: Norouzifar, Ali, et al.
Published: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

ProMoAI: Process Modeling with Generative AI
by: Kourani, Humam, et al.
Published: (2024)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
by: Barbaro, Luca, et al.
Published: (2025)

Compositionality of Systems and Partially Ordered Runs
by: Fettke, Peter, et al.
Published: (2026)

Process Modeling With Large Language Models
by: Kourani, Humam, et al.
Published: (2024)

Knowledge-Driven Hallucination in Large Language Models: An Empirical Study on Process Modeling
by: Kourani, Humam, et al.
Published: (2025)

Evaluating Large Language Models on Business Process Modeling: Framework, Benchmark, and Self-Improvement Analysis
by: Kourani, Humam, et al.
Published: (2024)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
by: Probine, Caleb, et al.
Published: (2025)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
by: Bollig, Benedikt
Published: (2026)

Agentproof: Static Verification of Agent Workflow Graphs
by: Xavier, Melwin, et al.
Published: (2026)

Neuro-Symbolic Process Anomaly Detection
by: Gaikwad, Devashish, et al.
Published: (2026)

Bifurcation Logic: Separation Through Ordering
by: Galmiche, Didier, et al.
Published: (2025)

Beyond Control-Flow: Integrating the Resource Perspective into Multi-Collaborative Process Modeling from Text
by: Antonov, Anton, et al.
Published: (2026)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
by: Fiuk, Oskar, et al.
Published: (2025)

Revisiting Assumptions Ordering in CAR-Based Model Checking
by: Dong, Yibo, et al.
Published: (2024)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

Ordered Completion for Non-Locally Tight mini-gringo Programs
by: Heuer, Jan
Published: (2025)

Partial Redundancy in Saturation
by: Hajdu, Márton, et al.
Published: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
by: Bronsveld, Steven, et al.
Published: (2025)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
by: Suilen, Marnix, et al.
Published: (2024)

Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)

Robust Almost-Sure Reachability in Multi-Environment MDPs
by: van der Vegt, Marck, et al.
Published: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

On Efficient Algorithms For Partial Quantifier Elimination
by: Goldberg, Eugene
Published: (2024)

Revisiting Stateful Partial-Order Reduction
by: Herbreteau, Frédéric, et al.
Published: (2024)

Partial Quantifier Elimination By Certificate Clauses
by: Goldberg, Eugene
Published: (2020)

An Imperative Language for Verified Exact Real-Number Computation
by: Bauer, Andrej, et al.
Published: (2024)

Univalent Enriched Categories and the Enriched Rezk Completion
by: van der Weide, Niels
Published: (2024)