登录
首页 » Java » Petri网分析工具PIPE

Petri网分析工具PIPE

于 2008-04-27 发布 文件大小:1409KB
0 221
下载积分: 1 下载次数: 392

代码说明:

  Petri网分析工具PIPE is open-source(Petri net analysis tools PIPE is open-source)

文件列表:

Petri网分析工具
...............\bin
...............\...\cfg
...............\...\...\classification.properties
...............\...\...\comparison.properties
...............\...\...\dnamaca.properties
...............\...\...\GSPN.properties
...............\...\...\invariantAnalysis.properties
...............\...\...\matrixes.properties
...............\...\...\simulation.properties
...............\...\...\stateSpace.properties
...............\...\Images
...............\...\......\About.png
...............\...\......\Add token.png
...............\...\......\Animate.png
...............\...\......\Animation mode.png
...............\...\......\Annotation.png
...............\...\......\Arc.png
...............\...\......\Back.png
...............\...\......\Close.png
...............\...\......\Cycle grid.png
...............\...\......\Delete token.png
...............\...\......\Delete.png
...............\...\......\Example.png
...............\...\......\Exit.png
...............\...\......\Export.png
...............\...\......\Forward.png
...............\...\......\Help.png
...............\...\......\icon.png
...............\...\......\Immediate transition.png
...............\...\......\Move.png
...............\...\......\Net.png
...............\...\......\New.png
...............\...\......\Open.png
...............\...\......\Place.png
...............\...\......\PNG.png
...............\...\......\PostScript.png
...............\...\......\Print.png
...............\...\......\Random.png
...............\...\......\Save as.png
...............\...\......\Save.png
...............\...\......\Select.png
...............\...\......\Timed transition.png
...............\...\jama
...............\...\....\CholeskyDecomposition.class
...............\...\....\EigenvalueDecomposition.class
...............\...\....\LUDecomposition.class
...............\...\....\Matrix.class
...............\...\....\QRDecomposition.class
...............\...\....\SingularValueDecomposition.class
...............\...\....\util
...............\...\....\....\Maths.class
...............\...\petri-nets
...............\...\..........\Courier Protocol.xml
...............\...\..........\Dining philosophers.xml
...............\...\..........\GSPN2.xml
...............\...\..........\Light Switch.xml
...............\...\..........\Producer & Consumer.xml
...............\...\..........\Readers & Writers.xml
...............\...\..........\Simple GSPN.xml
...............\...\pipe
...............\...\....\dataLayer
...............\...\....\.........\AnnotationNote$AnnotationKeyUpdateHandler.class
...............\...\....\.........\AnnotationNote$ResizePoint.class
...............\...\....\.........\AnnotationNote$ResizePointHandler.class
...............\...\....\.........\AnnotationNote.class
...............\...\....\.........\Arc.class
...............\...\....\.........\ArcPath.class
...............\...\....\.........\ArcPathPoint.class
...............\...\....\.........\calculations
...............\...\....\.........\............\Marking.class
...............\...\....\.........\............\myNode.class
...............\...\....\.........\............\myTree.class
...............\...\....\.........\............\StateList.class
...............\...\....\.........\............\TreeTooBigException.class
...............\...\....\.........\Cubic.class
...............\...\....\.........\DataLayer.class
...............\...\....\.........\NameLabel.class
...............\...\....\.........\PetriNetObject.class
...............\...\....\.........\Place.class
...............\...\....\.........\PlaceTransitionObject.class
...............\...\....\.........\PNMatrix.class
...............\...\....\.........\Token.class
...............\...\....\.........\Transition$ArcAngleCompare.class
...............\...\....\.........\Transition.class
...............\...\....\gui
...............\...\....\...\AnimationHandler.class
...............\...\....\...\AnimationHistory.class
...............\...\....\...\Animator$1.class
...............\...\....\...\Animator.class
...............\...\....\...\AnnotationNoteHandler.class
...............\...\....\...\ArcHandler.class
...............\...\....\...\ArcKeyboardEventHandler.class
...............\...\....\...\ArcPathPointHandler.class
...............\...\....\...\ArrowHead.class
...............\...\....\...\Constants.class
...............\...\....\...\CreateGui$1.class
...............\...\....\...\CreateGui$TabData.class
...............\...\....\...\CreateGui.class
...............\...\....\...\DeletePetriNetObjectAction.class

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • flex3_documentation
    flex3 documentation flex 3文档 英文 大家可以试着看下(flex3 documentation flex 3 document in English that we can try to Kanxia)
    2010-03-15 12:59:46下载
    积分:1
  • ADCdongtai
    可用于测量ADC的信噪比SNR,信纳比SINAD,无杂散动态范围SFDR,总谐波失真THD,得到频谱图及时域图的MATLAB作图,ADC测试方法是fft法(The following program code plots the FFT spectrum of a desired test tone. Test tone based on coherent sampling criteria, and computes SNR, SINAD, THD and SFDR.)
    2018-06-02 09:00:18下载
    积分:1
  • MATLAB程序
    这里面提供了结构在地震动作用下的傅里叶时程、Newmark响应等程序,有图有程序(This program provides the Fourier history, Newmark response and other procedures of structures in the earthquake.)
    2017-09-17 23:02:36下载
    积分:1
  • ServicioDatosRest_EF_Repository
    说明:  Ejemplo de servicios REST para aplicaciones multiplataformas.
    2020-06-24 10:20:02下载
    积分:1
  • 用于对各种谱图进行平滑(5点到99点)处理,以及各次求导的动态连接库,对于作谱图运算的人来说很有用,只有DLL,内有详细调用说明。...
    用于对各种谱图进行平滑(5点到99点)处理,以及各次求导的动态连接库,对于作谱图运算的人来说很有用,只有DLL,内有详细调用说明。-Used for a variety of spectrum smoothing (5:00 to 99 points) treatment, as well as the derivation of all the dynamic link library, for computing spectra for people who are useful only DLL, there is a detailed description calls.
    2022-02-14 10:58:08下载
    积分:1
  • 这是一个程序设计方法学的实验报告,内容丰富,欢迎下载
    这是一个程序设计方法学的实验报告,内容丰富,欢迎下载-This a process design methodology of the report, rich in content, welcome to download! !
    2022-08-09 19:32:53下载
    积分:1
  • 三步搜索法
    说明:  二维数字图像相关算法,可实现亚像素精度的匹配和应变测量(Two dimensional digital image correlation algorithm, which can achieve sub-pixel precision matching and strain measurement)
    2020-05-04 20:30:18下载
    积分:1
  • JAVAJISUANQIDE
    java计算器源程序 科学计算器编程方面有些帮助(failed to translate)
    2011-06-27 19:15:39下载
    积分:1
  • DynamicPowerQualityTestingTechnology
    本文首先介绍了有源电力滤波器的基本结构和工作原理,并对一些常规的谐波电流检测方法的优缺点进行了比较。其次,针对传统的谐波电流检测方法的缺陷,提出将神经网络与基于噪声抵消原理的自适应谐波检测相结合,利用径向基函数运算量小、收敛快、无局部极小值等优点,构造了一种基于径向基函数神经网络的谐波电流检测方法,仿真结果表明该检测方法具有很好的动态响应及畸变电流检测精度。最后,设计了一套实验系统,对本文所采用的系统方案进行了实验验证。仿真表明,本文所采用的有源电力滤波器检测系统方案切实可行,能够较好地实现动态检测谐波和无功功率的目的。 (This paper, firstly, introduces the basic structure and principle of APF, and then makes comparison among some conventional harmonics detections methods. Secondly, contraposes the limitation of the traditional harmonic current detecting method based on neural network, presents the method that combines the neural network and auto adaptive harmonic current detecting method based on the principle of noise each other eliminating.As the characteristics that are small calculative quantity, fast converge, without local minimal point of Redial Basis Function (RBF), this dissertation forms a new harmonic current detecting method based on RBF. The simulation results show that the method has many advantages, such as good dynamic response, high accuracy. At last, A system is designed to verify the proposed APF scheme .The results of simulation show that the proposed APF scheme is practical and can detect harmonics and reactive power effectively. )
    2009-05-03 10:26:45下载
    积分:1
  • gui_dyn_14_3
    动态电路分析,用户输入电阻、电容、电容初始电压。(Dynamic Circuits, user input resistance, capacitance, initial voltage of the capacitor.)
    2016-10-11 11:07:37下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载