ii23behavioralproperties.htm

来自「matlab的petri网工具包」· HTM 代码 · 共 47 行

HTM
47 行
字号 
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>II.2.3. Behavioral Properties</title>
<link rel="stylesheet" href="C1H_HTML.css" type="text/css">
<style type="text/css">
 p { margin-top: 0; margin-bottom: 0; }
</style>
<script language="JavaScript" src="DocToHelp.js">
</script>
</head>
<body
 style="
        background-image: url(none);
        background-repeat: no-repeat;"
 onload="d2hload()"
 onmousedown="d2hpopup()"
>
<div id="ienav">
<ilayer id="nsnav">
<p align="center">

<a href="PNToolbox-toc.htm" target="left">Contents</a> &nbsp;


<a href="PNToolbox-index.htm" target="left">Index</a> &nbsp;



<a href="ii21overview.htm#incidence">Previous</a> &nbsp;
<a href="ii24structuralproperties.htm">Next</a>


</p>
<br>
<hr noshade size="1">
</ilayer>
</div>
<p class=heading-2>II.2.3. Behavioral Properties</p>
<p class=heading-2-p>&nbsp;</p>
<p align="justify" class=normal>For untimed PN models, the behavioral properties 
  (e.g. boundedness, liveness, reversibility, etc.) may be studied based on the 
  coverability tree of the net. Relying on the topology and the initial marking 
  of the net, the <b><i>PN Toolbox</i></b> can automatically construct this tree 
  and display it in either text or graphic mode. The coverability tree is built 
  with or without the &#969-convention (<a href="#FigII10">fig. II.10</a>). The 
  &#969-convention means the usage of a generic symbol (herein denoted by &quot;&#969

ii23behavioralproperties.htm - 源码说明

本页面展示了「matlab的petri网工具包」中的 ii23behavioralproperties.htm 源码文件，采用 HTM 编程语言编写，共 47 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与matlab相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?