Differences

This shows you the differences between two versions of the page.

Link to this comparison view

online:pn2protos [2009/08/11 10:09] (current)
Line 1: Line 1:
 +==== Petri net To Protos conversion ====
  
 +=== Input ===
 +[[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​models:​pn|Petri net]]
 +
 +=== Output ===
 +[[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​models:​protos| Protos model]]
 +
 +
 +=== Description ===
 +This plug-in converts a Petri net into (the control flow part of) a Protos model.