Unique Names of Places/Transitions

Status: Beta

Brought to you by: bk506, bmk06, connerh, corveau, and 22 others

#39 Unique Names of Places/Transitions

Milestone: PIPEv4.3.0

Status: closed

Owner: nobody

Labels: Incorect Operation (24)

Priority: 5

Updated: 2013-10-10

Created: 2012-08-23

Creator: Muskik

Private: No

I just noticed some problems with names of places and transitions.
Somehow there are transitions or places with the same name. This leads to unplanned arcs in the net.
Also it happens that names of deleted transitions/places are still blocked for other places/transitions until i restart pipe.
Pipe 4.2.1
Win 7 64-bit

Discussion

Sarah Tattersall - 2013-10-10

status: open --> closed

Group: --> PIPEv4.3.0
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Sarah Tattersall - 2013-10-10

This appears to be fixed in PIPE v4.3.0

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Unique Names of Places/Transitions

Group

Searches

Help

#39 Unique Names of Places/Transitions

Discussion