http://workcraft.org/ 2026-06-30T10:24:23+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2026-06-26T10:03:36+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/download/start?rev=1782468216&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 2026-06-26T10:02:30+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/changelog/start?rev=1782468150&do=diff Changelog Workcraft v3.5.5 (2026-06-26) Usability improvements * Add tool name to the title of Tool controls panel * Enable box selection of children nodes, such as control points of connection and pins of circuit component * Apply saving decision to all modified works in a single dialog text/html 2026-06-26T10:01:55+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/start?rev=1782468115&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.5 (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 2026-06-19T10:10:17+00:00 danil (danil@undisclosed.example.com) http://workcraft.org/changelog/v3.5.5?rev=1781863817&do=diff Workcraft v3.5.5 (2026-06-26) Usability improvements * Add tool name to the title of Tool controls panel * Enable box selection of children nodes, such as control points of connection and pins of circuit component * Apply saving decision to all modified works in a single dialog