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]
Rakiura JFern - lightweight Petri Net framework. Engine with the GUI simulator, written in Java and designed for Java developers. Supports multiple inscription languages: Java, Kawa, BeanShell and Clojure.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy