Viewing all changes in revision 206.
- Committer: Jiri Srba
- Date: 2018-05-27 19:15:20 UTC
- mfrom: (205.1.2 verifypn)
- Revision ID: srba@cs.aau.dk-20180527191520-j2iw39a5h0gw2bfx
merged in branch lp:~verifypn-stub/verifypn/inhibitor-por-error fixing a problem
with inhibitor arcs and partial order reduction
with inhibitor arcs and partial order reduction
- files modified:
- PetriEngine/PetriNet.cpp
expand all
collapse all
added
removed
