Tags : Browse Projects

Workcraft provides a flexible common framework for the development of Interpreted Graph Models, including visual editing, (co-)simulation, synthesis and formal verification. With Workcraft, the user can design a system using the most appropriate formalism (or even different formalisms for the ... [More] subsystems), while still utilising the power of Petri net analysis techniques. The applications of the Workcraft are wide-ranging: from modelling concurrent algorithms and biological systems to designing asynchronous electronic circuits and investigating crimes. [Less]