http://workcraft.org/ 2026-04-09T22:59:57+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2025-12-01T12:53:21+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/download/start?rev=1764593601&do=diff Distribution Workcraft is open-source project distributed under permissive MIT license (for third-party tools please refer to their respected licenses): MIT License Copyright (c) 2017 Workcraft contributors Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublic… text/html 2025-12-01T12:49:01+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/start?rev=1764593341&do=diff What is Workcraft? * framework for interpreted graph models * elaborate cross-platform GUI for modelling * established tools for verification and synthesis ---------- source code  • latest news  • training events Download Workcraft v3.5.4 (needs Java ≥17) * [for Windows] * [for Linux] * [for OS X (32-bit backend tools)] ---------- download mirror  • release notes  • distribution [ ]Modelling and verification of concurrent algorithms with Petri Nets[ ]Synthesis of instructio… text/html 2025-12-01T12:37:24+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/changelog/v3.5.4?rev=1764592644&do=diff Workcraft v3.5.4 (2025-12-01) Usability improvements * Improved error detection and reporting in Boolean expression parser * Refresh bounding boxes of all nodes when model editor is first created * Fix import of files whose name has trailing spaces text/html 2025-12-01T12:36:20+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/changelog/start?rev=1764592580&do=diff Changelog Workcraft v3.5.4 (2025-12-01) Usability improvements * Improved error detection and reporting in Boolean expression parser * Refresh bounding boxes of all nodes when model editor is first created * Fix import of files whose name has trailing spaces