Download von HiPS_1.02.200821a.zip (HiPS_1.02.200821a.zip ( externer Link: SourceForge.net): 23,219,764 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf HiPS_1.02.200821a.zip ( externer Link: SourceForge.net).

Datei-Informationen

Dateigröße
23,219,764 Bytes
MD5
bc0a0fcebcab7eb3cc1b967161b2dddc

Projektbeschreibung

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.