Allow shared places and shared transitions to be connected
Bug #1243875 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
New
|
Wishlist
|
Unassigned |
Bug Description
At the moment it is impossible to connect a shared place with a shared transition, but this could be quite
useful. One should be careful how to handle such an addition in one component while the same shared
place and transition can be also present at another component (and this should be updated too).
To post a comment you must log in.