Net synthesis from Petri Net and FSM results in STG
Bug #1529303 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Danil Sokolov |
Bug Description
On net synthesis of Petri net and FSM models (Convert->Net synthesis...) the result is interpreted as an STG with dummies ([STG] model type). It would be preferable to convert the result into a Petri net ([PN] model type.
Related branches
To post a comment you must log in.