pntreferences.htm

来自「matlab的petri网工具包」· HTM 代码 · 共 1,517 行 · 第 1/3 页

HTM
1,517
字号
	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.jump-base, li.jump-base, div.jump-base
	{margin-right:0mm;
	font-size:10.0pt;}
p.jump-base-p, li.jump-base-p, div.jump-base-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.jump, li.jump, div.jump
	{margin-right:0mm;
	font-size:10.0pt;}
p.jump-p, li.jump-p, div.jump-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.jump-from-contents, li.jump-from-contents, div.jump-from-contents
	{margin-top:1.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:11.0pt;
	font-weight:bold;}
p.jump-from-contents-p, li.jump-from-contents-p, div.jump-from-contents-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.jump-from-list, li.jump-from-list, div.jump-from-list
	{margin-right:0mm;
	font-size:10.0pt;}
p.jump-from-list-p, li.jump-from-list-p, div.jump-from-list-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.relatedhead, li.relatedhead, div.relatedhead
	{margin-top:9.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:11.0pt;
	font-weight:bold;}
p.relatedhead-p, li.relatedhead-p, div.relatedhead-p
	{margin-top:1.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.keyword-link, li.keyword-link, div.keyword-link
	{margin-top:9.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:11.0pt;
	font-weight:bold;}
p.keyword-link-p, li.keyword-link-p, div.keyword-link-p
	{margin-top:1.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.list-2, li.list-2, div.list-2
	{margin-top:5.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:18.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.list-2-tab1, li.list-2-tab1, div.list-2-tab1
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:36.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.list-2-table, li.list-2-table, div.list-2-table
	{margin-top:5.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:18.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.list-2-table-tab1, li.list-2-table-tab1, div.list-2-table-tab1
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:36.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.list-table, li.list-table, div.list-table
	{margin-top:5.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.list-table-tab1, li.list-table-tab1, div.list-table-tab1
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:18.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.list-table-tab2, li.list-table-tab2, div.list-table-tab2
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:36.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.margin-note, li.margin-note, div.margin-note
	{margin-top:3.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:10.0pt;
	font-style:italic;}
p.margin-note-p, li.margin-note-p, div.margin-note-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.normal-indent, li.normal-indent, div.normal-indent
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:36.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.note, li.note, div.note
	{margin-top:9.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	border:none;
	font-size:10.0pt;}
p.note-p, li.note-p, div.note-p
	{margin-top:9.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.source, li.source, div.source
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:36.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab1, li.source-tab1, div.source-tab1
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:54.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab2, li.source-tab2, div.source-tab2
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:72.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab3, li.source-tab3, div.source-tab3
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:90.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab4, li.source-tab4, div.source-tab4
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:108.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab5, li.source-tab5, div.source-tab5
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:126.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab6, li.source-tab6, div.source-tab6
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:144.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab7, li.source-tab7, div.source-tab7
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:162.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab8, li.source-tab8, div.source-tab8
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:180.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab9, li.source-tab9, div.source-tab9
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:198.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab10, li.source-tab10, div.source-tab10
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:216.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab11, li.source-tab11, div.source-tab11
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:234.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab12, li.source-tab12, div.source-tab12
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:252.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab13, li.source-tab13, div.source-tab13
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:270.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab14, li.source-tab14, div.source-tab14
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:288.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.source-tab15, li.source-tab15, div.source-tab15
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:306.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop, li.sourcetop, div.sourcetop
	{margin-top:5.75pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:36.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab1, li.sourcetop-tab1, div.sourcetop-tab1
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:54.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab2, li.sourcetop-tab2, div.sourcetop-tab2
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:72.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab3, li.sourcetop-tab3, div.sourcetop-tab3
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:90.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab4, li.sourcetop-tab4, div.sourcetop-tab4
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:108.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab5, li.sourcetop-tab5, div.sourcetop-tab5
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:126.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab6, li.sourcetop-tab6, div.sourcetop-tab6
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:144.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab7, li.sourcetop-tab7, div.sourcetop-tab7
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:162.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab8, li.sourcetop-tab8, div.sourcetop-tab8
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:180.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab9, li.sourcetop-tab9, div.sourcetop-tab9
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:198.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab10, li.sourcetop-tab10, div.sourcetop-tab10
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:216.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab11, li.sourcetop-tab11, div.sourcetop-tab11
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:234.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab12, li.sourcetop-tab12, div.sourcetop-tab12
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:252.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab13, li.sourcetop-tab13, div.sourcetop-tab13
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:270.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab14, li.sourcetop-tab14, div.sourcetop-tab14
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:288.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.sourcetop-tab15, li.sourcetop-tab15, div.sourcetop-tab15
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:306.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.supertitle, li.supertitle, div.supertitle
	{margin-top:48.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:72.0pt;
	margin-bottom:.0001pt;
	text-align:right;
	font-size:14.0pt;
	font-weight:bold;}
p.tableborder, li.tableborder, div.tableborder
	{margin-right:0mm;
	font-size:10.0pt;}
p.tableheading, li.tableheading, div.tableheading
	{margin-top:3.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:3.6pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;
	font-weight:bold;}
p.tabletext, li.tabletext, div.tabletext
	{margin-top:2.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:3.6pt;
	margin-bottom:.0001pt;
	font-size:9.0pt;}
p.tabletext-p, li.tabletext-p, div.tabletext-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.toc-base, li.toc-base, div.toc-base
	{margin-right:0mm;
	font-size:10.0pt;}
p.toc-1, li.toc-1, div.toc-1
	{margin-top:12.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:14.0pt;
	font-weight:bold;}
p.toc-1-p, li.toc-1-p, div.toc-1-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.toc-2, li.toc-2, div.toc-2
	{margin-top:3.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:11.0pt;}
p.toc-2-p, li.toc-2-p, div.toc-2-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.toc-3, li.toc-3, div.toc-3
	{margin-right:0mm;
	font-size:10.0pt;}
p.toc-4, li.toc-4, div.toc-4
	{margin-top:0mm;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:108.0pt;
	margin-bottom:.0001pt;
	font-size:10.0pt;}
p.toctitle, li.toctitle, div.toctitle
	{margin-top:9.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	font-size:24.0pt;
	font-weight:bold;}
p.toctitle-p, li.toctitle-p, div.toctitle-p
	{margin-top:7.0pt;
	margin-right:0mm;
	margin-bottom:0mm;
	margin-left:0mm;
	margin-bottom:.0001pt;
	line-height:0%;
	font-size:12.0pt;

⌨️ 快捷键说明

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