http://workcraft.org/ 2026-05-20T12:53:31+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2021-04-28T16:15:21+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/start?rev=1619626521&do=diff Tutorials Modelling causality and concurrency In these tutorials you will learn how to use Finite State Machine, Petri net, and other models to capture causality and concurrency relations between events. * Modelling with Finite State Machines: Vending machine * Petri net synthesis: Concurrent vending machine * Modelling with Petri nets: Dining philosophers * Modelling with STGs: Distributed Mutual Exclusion * Modelling with STGs: Writer-biased read/write lock * Modelling Genetic R… text/html 2021-04-28T16:15:18+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/toc-designing?rev=1619626518&do=diff * Design of C-element (basic, detailed instructions) * Design of basic buck controller (medium, some hints) * Design of VME bus controller (medium, individual) * Handshakes verification * Hierarchical design of a realistic buck controller * Initialisation of speed-independent circuits * Loop breaking and offline testing * Resolution of encoding (CSC) conflicts * Logic decomposition and technology mapping * Verification and synthesis of hierarchical designs text/html 2021-04-28T16:14:21+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/toc-modelling?rev=1619626461&do=diff * Modelling with Finite State Machines: Vending machine * Petri net synthesis: Concurrent vending machine * Modelling with Petri nets: Dining philosophers * Modelling with STGs: Distributed Mutual Exclusion * Modelling with STGs: Writer-biased read/write lock * Modelling Genetic Regulatory Networks with STGs: Lysis-Lysogeny switch in Phage λ * Optimising asynchronous pipelines using wagging * Verification of temporal properties of asynchronous systems