The tool suite includes a converter from PEP format to tina. The PEP tool may invoke tina for reachability analysis of Time Petri nets. Romeo imports and exports nets in tina formats. Roux and colleagues is a tool for analysis of Scheduling Time Petri nets. Helena can also unfold Colored Petri nets and save them into. Helena, by Sami Evangelista is a tool for modelchecking Colored Petri nets. The Deborah distribution includes ready to use plugins for nd. ndr formats into Functional subnets, for a faster computation of invariants. tpn format.ĭeborah, by Dmitry Zaitsev decomposes Petri nets described in. Part of the CADP toolset from the VASY/CONVECS groups exports networks of automata described in the EXP 2.0 language (.exp files) into Tina. Softwares that import or export into tina formats (.net or. (Please contact us if you think your software or models should be mentioned here).
0 Comments
Leave a Reply. |