5/27/2023 0 Comments Snoopy petri net toolThe 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. |