http://workcraft.org/ 2026-04-09T04:15:08+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2019-06-01T13:40:08+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/training/20160719-newcastle/start?rev=1559396408&do=diff Introduction to Workcraft 19 July 2016 at Newcastle University, Newcastle upon Tyne, UK A large number of models that are employed in the field of concurrent systems' design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures -- all have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which collectively form the overall state of the system. We jointly refer to such formalis…