Search Results for "pnml"
Sort By:
Editor for Petri nets
Tool for synthesizing business process logs.
Petri net framework for security related modeling and reasoning.
Carassius is a tool for editing of Petri nets and graphs.
A Place/Transition Net Editor