Petri Nets web pages - Register or Update Your Tool

Petri Nets web pages

You can use the form below in order to submit new Petri Nets tool information or update existing tool information.
Consult the database itself for examples on which information to put into the form.





	Contact person
	Name: 
	input Address: 
	Affiliation: 


	Tool overview
	Tool name: 
	Tool webpage: 
	Availability:
		 Free of Charge
		 Commercial
		 Commercial (free for academic institutions)
	Last release date: 



	Petri Nets Supported
	
	Place/Transition Nets
	Symmetric Nets
	Coloured/Algebraic Nets
	Time(d) Nets
	Stochastic Nets
	Object-Oriented Nets
	Nets within Nets
	Workflow Nets
	
	Other: 
	




	Tool Components
	
	Graphical Editor
	Token Game Animation
	Simulation
	State Spaces
	Reduced State Spaces
	Place Invariants
	Transition Invariants
	Net Reductions
	Performance Analysis
	Interchange Format (PNML) Support

	Other: 
	




	Platforms
	
	Linux
	MacOS
	Windows
	Docker
	Virtual Machine

	Other: 
	



	Tool Description
	


	References
	DOI:  Pdf file: 
	DOI:  Pdf file: 
	DOI:  Pdf file: 
	DOI:  Pdf file: 
	DOI:  Pdf file:

IMPORTANT - THIS PAGE IS UNDER CONSTRUCTION.