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 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.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities