Weighted soundness for Workflow Nets (software artefact CAV 2026)

Published April 22, 2026 | Version 1

Software Open

Files

Name	Size
Weighted_soundness_for_Workflow_Nets.zip md5:e1f8890e2f946edce3fc590323a5c385	7.3 GB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Conference

Languages

Polish, English

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more