Paste source code and convert it into a formal Petri net model. Supports any language.
Your Petri net model will appear here