pntreferences.htm
来自「matlab的petri网工具包」· HTM 代码 · 共 1,517 行 · 第 1/3 页
HTM
1,517 行
<html>
<head>
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
<title>References</title>
<link rel=Stylesheet type="text/css" media=all href="C1H_HTML.css">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Verdana;
panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
{font-family:Garamond;
panose-1:2 2 4 4 3 3 1 1 8 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
p.MsoFooter, li.MsoFooter, div.MsoFooter
{margin:0mm;
margin-bottom:.0001pt;
text-align:justify;
line-height:15.0pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
p
{margin:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
p.normal, li.normal, div.normal
{margin-right:0mm;
font-size:10.0pt;}
p.heading-1, li.heading-1, div.heading-1
{margin-top:10.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:20.0pt;
font-weight:bold;}
p.heading-1-p, li.heading-1-p, div.heading-1-p
{margin-top:8.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-2, li.heading-2, div.heading-2
{margin-top:9.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:16.0pt;
font-weight:bold;}
p.heading-2-p, li.heading-2-p, div.heading-2-p
{margin-top:7.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-3, li.heading-3, div.heading-3
{margin-top:9.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:16.0pt;
font-weight:bold;}
p.heading-3-p, li.heading-3-p, div.heading-3-p
{margin-top:7.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-4, li.heading-4, div.heading-4
{margin-top:2.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-weight:bold;}
p.heading-4-p, li.heading-4-p, div.heading-4-p
{margin-top:2.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-5, li.heading-5, div.heading-5
{margin-top:6.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-weight:bold;}
p.heading-6, li.heading-6, div.heading-6
{margin-top:12.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-weight:bold;}
p.heading-6-p, li.heading-6-p, div.heading-6-p
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-7, li.heading-7, div.heading-7
{margin-top:12.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;}
p.heading-7-p, li.heading-7-p, div.heading-7-p
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-8, li.heading-8, div.heading-8
{margin-top:12.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-style:italic;}
p.heading-8-p, li.heading-8-p, div.heading-8-p
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-9, li.heading-9, div.heading-9
{margin-top:12.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:11.0pt;}
p.heading-9-p, li.heading-9-p, div.heading-9-p
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.kaka, li.kaka, div.kaka
{margin-top:18.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:16.0pt;
font-weight:bold;
font-style:italic;}
p.kaka-p, li.kaka-p, div.kaka-p
{margin-top:6.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.d2hindexentry, li.d2hindexentry, div.d2hindexentry
{margin:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
p.heading-base, li.heading-base, div.heading-base
{margin-right:0mm;
font-size:10.0pt;
font-weight:bold;}
p.body-text, li.body-text, div.body-text
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.list, li.list, div.list
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.list-tab1, li.list-tab1, div.list-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.definition, li.definition, div.definition
{margin-top:5.75pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.body-text-table, li.body-text-table, div.body-text-table
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.title, li.title, div.title
{margin-top:12.1pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
text-align:right;
font-size:36.0pt;
font-weight:bold;}
p.title-p, li.title-p, div.title-p
{margin-top:36.1pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.byline, li.byline, div.byline
{margin-top:12.1pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
text-align:right;
font-size:14.0pt;
font-weight:bold;}
p.byline-p, li.byline-p, div.byline-p
{margin-top:36.1pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.caption, li.caption, div.caption
{margin:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-style:italic;}
p.caption-tab1, li.caption-tab1, div.caption-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;
font-style:italic;}
p.caption-tab2, li.caption-tab2, div.caption-tab2
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;
font-style:italic;}
p.caption-p, li.caption-p, div.caption-p
{margin-top:8.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.captiontable, li.captiontable, div.captiontable
{margin:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-style:italic;}
p.captiontable-tab1, li.captiontable-tab1, div.captiontable-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;
font-style:italic;}
p.captiontable-tab2, li.captiontable-tab2, div.captiontable-tab2
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;
font-style:italic;}
p.captiontable-p, li.captiontable-p, div.captiontable-p
{margin-top:8.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.code-base, li.code-base, div.code-base
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.codeexplained, li.codeexplained, div.codeexplained
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.codeexplained-p, li.codeexplained-p, div.codeexplained-p
{margin-top:2.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.figures, li.figures, div.figures
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.figures-tab1, li.figures-tab1, div.figures-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.figures-tab2, li.figures-tab2, div.figures-tab2
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.figures-p, li.figures-p, div.figures-p
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.figures-table, li.figures-table, div.figures-table
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.figures-table-tab1, li.figures-table-tab1, div.figures-table-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.figures-table-tab2, li.figures-table-tab2, div.figures-table-tab2
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.figures-table-p, li.figures-table-p, div.figures-table-p
{margin-top:3.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.header-base, li.header-base, div.header-base
{margin-right:0mm;
font-size:10.0pt;}
p.footer, li.footer, div.footer
{margin:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.footer-tab1, li.footer-tab1, div.footer-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:486.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.footnote-reference, li.footnote-reference, div.footnote-reference
{margin:0mm;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Times New Roman";}
p.footnote-text, li.footnote-text, div.footnote-text
{margin-right:0mm;
font-size:10.0pt;
font-weight:bold;}
p.glossaryterm, li.glossaryterm, div.glossaryterm
{margin-top:2.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:11.0pt;}
p.glossaryterm-p, li.glossaryterm-p, div.glossaryterm-p
{margin-top:2.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
line-height:0%;
font-size:12.0pt;
font-family:"Times New Roman";}
p.header, li.header, div.header
{margin:0mm;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.header-tab1, li.header-tab1, div.header-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:486.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.index-base, li.index-base, div.index-base
{margin-right:0mm;
font-size:10.0pt;}
p.index-1, li.index-1, div.index-1
{margin-right:0mm;
font-size:10.0pt;}
p.index-2, li.index-2, div.index-2
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.index-3, li.index-3, div.index-3
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.index-heading, li.index-heading, div.index-heading
{margin-top:15.1pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-weight:bold;}
p.index-heading-p, li.index-heading-p, div.index-heading-p
{margin-top:6.1pt;
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?