Viewing all changes in revision 694.1.2.
- Committer: Danil Sokolov
- Date: 2015-12-26 00:13:28 UTC
- mto: This revision was merged to the branch mainline in revision 695.
- Revision ID: danilovesky@gmail.com-20151226001328-cx0q0dp3sysdyj75
The results of net synthesis for Petri Net and FSM model are interpreted as Petri nets (converted from STG).
- files added:
- PetrifyExtraPlugin
- PetrifyExtraPlugin/src
- files modified:
- FstPlugin/.classpath
expand all
collapse all
added
removed
