Workcraft

1 → 9 of 9 results First • Previous • Next • Last
Medium
Fix Committed
#1349424 Hierarchy separators are not acceptable by Reach language
Workcraft 6
Medium
Fix Committed
#1436879 Incorrect initial state of FSM after conversion from PN
Workcraft 6
Low
Fix Committed
#1332108 STG specific tools should not be available in Petri net plugin
Workcraft 6
Low
Confirmed
#1371683 Unapplicable MPSat modes in Petri net plugin
Workcraft 6
Low
Fix Committed
#1525284 Places of Petri net/STG generated from FSM/FST have wrong position
Workcraft 6
Low
Fix Committed
#1529303 Net synthesis from Petri Net and FSM results in STG
Workcraft 6
Low
Fix Committed
#1534788 Tools for working with place proxies in STG and Petri nets
Workcraft 6
Wishlist
Fix Committed
#1519305 Converter from Petri Net to Policy Net model is missing
Workcraft 6
Wishlist
Fix Committed
#1538674 A tool is missing for hiding selected signals and dummies from STGs
Workcraft 6
1 → 9 of 9 results First • Previous • Next • Last
Bug supervisor:
Workcraft core developers