Genet

MaRDI QIDQ21764swMATHFDO

Official website http://www.lsi.upc.edu/~jcarmona/genet.html

Cited in

(12)

• Synthesising elementary net systems with localities
• Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
• rbminer
• Workcraft
• ProM
• Petrify
• VipTool
• Synet
• APT
• Adding a/sync places to the synthesis procedure for whole-place operations nets with localities
• Applying regions
• Regions of Petri nets with a/sync connections

This page was built for software: Genet