Genet

swMATH9785MaRDI QIDQ21764FDOQ21764

Author name not available (Why is that?)

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

Cited In (10)

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

This page was built for software: Genet