PetriNets to CPOG converter exploiting Untangling formalism
Registered by
Alessandro de Gennaro
The option will be used to convert a Petri net into a Conditional Partial Order Graph, via an intermediate formalism named Untanglings. Two external libraries will be exploited: the first one will be used for introducing the Petri Nets into a tool. The second one instead contains the functions for converting the net introduced into the Untanglings formalism, which might be seen as a bunch of partial order graphs.
Blueprint information
- Status:
- Complete
- Approver:
- Danil Sokolov
- Priority:
- Low
- Drafter:
- Alessandro de Gennaro
- Direction:
- Needs approval
- Assignee:
- Alessandro de Gennaro
- Definition:
- Approved
- Series goal:
- None
- Implementation:
-
Implemented
- Milestone target:
-
3.0.6
- Started by
- Alessandro de Gennaro
- Completed by
- Danil Sokolov
Whiteboard
(?)
Work Items
Work items:
JBPT library integration: DONE
Petri net conversion: DONE
GUI development: DONE
Different render type (circle, rectangle) for CPOG vertex: DONE
Refactoring code: DONE
