% Petri Nets Toolbox.
% Version 1.0b 1-Sep-00
% Copyright (c) Zdenek Hanzalek, Martina Svadova,
%
% Petri nets Tolbox
%
% Disp_gr.m Displays the graph og reachable markings
% EvolGr.m Calculation of matrix of evolution graph for continuous Petri nets with constant speed
% Getnum.m Convert numerical part of string to number
% Getpnt.m Find out type of transmission
% Graph.m Finds adjancency matrix A an matrix reachable markings B
% GraphPri.m Finds a graph of reachable markings to given marked bounded Priority Petri Net
% Ind.m Gets indexes of rows and columns
% PlaySTPN.m Token player for T-timed PNs and stochastic PNs, single firing semantic
% PlaySTPNex.m Token player for T-timed PNs and stochastic PNs, single firing semantic, list of state in each time
% Rdp.m Reads matrix Pre, Post, initial marking from graphical editor PMEdit
% Rdp2stpn.m Reads matrix Pre, Post, initial marking, type of transition, times of timed transition
% from graphical editor PMEdit ( input parameters for PlaySTPN)
% Rdp2pri.m Reads matrix Pre, Post, initial marking, type of transition, times of timed transition
% and priority of transition from graphical editor PMEdit (input parameters for GraphPri)
% This function must be also used when we want to read parameters of continuous Petri net,
% where parameter PrioT is equivalent to V (vector maximal speed in CPN)
% Silva.m Gets P-invariants of PNs
2017-1-21 18:10 上传
点击文件名下载附件
下载积分: 体力 -2 点
12.99 KB, 下载次数: 90, 下载积分: 体力 -2 点
2017-1-21 18:11 上传
点击文件名下载附件
下载积分: 体力 -2 点
139.34 KB, 下载次数: 91, 下载积分: 体力 -2 点
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/220274.html原文链接：https://javaforall.net
