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]

A language to describe petri nets as front end of graphviz' dot language.

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.