pntreferences.htm
来自「matlab的petri网工具包」· HTM 代码 · 共 1,517 行 · 第 1/3 页
HTM
1,517 行
font-family:"Times New Roman";}
p.html, li.html, div.html
{margin:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
p.c1h-bullet, li.c1h-bullet, div.c1h-bullet
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-bullet-tab1, li.c1h-bullet-tab1, div.c1h-bullet-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.normal-web, li.normal-web, div.normal-web
{margin-right:0mm;
font-size:12.0pt;}
p.toa-heading, li.toa-heading, div.toa-heading
{margin-top:6.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-weight:bold;}
p.list-continue-2, li.list-continue-2, div.list-continue-2
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.list-continue-2-p, li.list-continue-2-p, div.list-continue-2-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.c1h-bullet-2, li.c1h-bullet-2, div.c1h-bullet-2
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-bullet-2-tab1, li.c1h-bullet-2-tab1, div.c1h-bullet-2-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:54.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-bullet-2a, li.c1h-bullet-2a, div.c1h-bullet-2a
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-bullet-2a-tab1, li.c1h-bullet-2a-tab1, div.c1h-bullet-2a-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:54.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-number, li.c1h-number, div.c1h-number
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:18.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-number-tab1, li.c1h-number-tab1, div.c1h-number-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-number-2, li.c1h-number-2, div.c1h-number-2
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-number-2-tab1, li.c1h-number-2-tab1, div.c1h-number-2-tab1
{margin-top:0mm;
margin-right:0mm;
margin-bottom:0mm;
margin-left:54.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-continue, li.c1h-continue, div.c1h-continue
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-continue-2, li.c1h-continue-2, div.c1h-continue-2
{margin-top:5.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:54.0pt;
margin-bottom:.0001pt;
font-size:10.0pt;}
p.c1h-index, li.c1h-index, div.c1h-index
{margin:0mm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
p.midtopic, li.midtopic, div.midtopic
{margin-top:9.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:16.0pt;
font-weight:bold;}
p.midtopic-p, li.midtopic-p, div.midtopic-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.whatsthis, li.whatsthis, div.whatsthis
{margin-top:9.0pt;
margin-right:0mm;
margin-bottom:0mm;
margin-left:0mm;
margin-bottom:.0001pt;
font-size:16.0pt;
font-weight:bold;}
p.whatsthis-p, li.whatsthis-p, div.whatsthis-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";}
@page Section1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.Section1
{page:Section1;}
-->
</style>
<script language="JavaScript" src="DocToHelp.js">
</script>
</head>
<title>Ajmone Marsan, M</title>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="place"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="State"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="City"/>
<!--[if gte mso 9]><xml>
<o:DocumentProperties>
<o:Template>Normal</o:Template>
<o:LastAuthor>Hana</o:LastAuthor>
<o:Revision>4</o:Revision>
<o:TotalTime>2</o:TotalTime>
<o:Created>2005-10-06T11:07:00Z</o:Created>
<o:LastSaved>2005-10-06T11:09:00Z</o:LastSaved>
<o:Pages>1</o:Pages>
<o:Words>1708</o:Words>
<o:Characters>9736</o:Characters>
<o:Company>home</o:Company>
<o:Lines>81</o:Lines>
<o:Paragraphs>22</o:Paragraphs>
<o:CharactersWithSpaces>11422</o:CharactersWithSpaces>
<o:Version>10.2625</o:Version>
</o:DocumentProperties>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:WordDocument>
<w:Zoom>150</w:Zoom>
<w:SpellingState>Clean</w:SpellingState>
<w:GrammarState>Clean</w:GrammarState>
<w:DrawingGridHorizontalSpacing>9.35 pct.</w:DrawingGridHorizontalSpacing>
<w:DrawingGridVerticalSpacing>6.35 pct.</w:DrawingGridVerticalSpacing>
<w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery>
<w:Compatibility>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
</w:Compatibility>
<w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
</w:WordDocument>
</xml><![endif]--><!--[if !mso]><object
classid="clsid:38481807-CA0E-42D2-BF39-B33AF135CC4D" id=ieooui></object>
<style>
st1\:*{behavior:url(#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Garamond;
panose-1:2 2 4 4 3 3 1 1 8 3;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:647 0 0 0 159 0;}
@font-face
{font-family:Verdana;
panose-1:2 11 6 4 3 5 4 4 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:536871559 0 0 0 415 0;}
@font-face
{font-family:TimesNewRomanPSMT;
panose-1:0 0 0 0 0 0 0 0 0 0;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-format:other;
mso-font-pitch:auto;
mso-font-signature:3 0 0 0 1 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:RO;}
p.MsoCommentText, li.MsoCommentText, div.MsoCommentText
{mso-style-noshow:yes;
margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
line-height:15.0pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:RO;}
p.MsoHeader, li.MsoHeader, div.MsoHeader
{margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
line-height:15.0pt;
mso-pagination:widow-orphan;
tab-stops:center 216.0pt right 432.0pt;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:RO;}
p.MsoFooter, li.MsoFooter, div.MsoFooter
{margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
tab-stops:center 216.0pt right 432.0pt;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:RO;}
span.MsoCommentReference
{mso-style-noshow:yes;
mso-ansi-font-size:8.0pt;
mso-bidi-font-size:8.0pt;}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;
text-underline:single;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Courier New";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:RO;}
p.MsoCommentSubject, li.MsoCommentSubject, div.MsoCommentSubject
{mso-style-noshow:yes;
mso-style-parent:"Text comentariu";
mso-style-next:"Text comentariu";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:RO;
font-weight:bold;}
span.subjfeattitle1
{mso-style-name:subjfeattitle1;
mso-ansi-font-size:8.5pt;
mso-bidi-font-size:8.5pt;
font-family:Arial;
mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;
mso-bidi-font-family:Arial;
color:#354551;
font-weight:bold;}
span.SpellE
{mso-style-name:"";
mso-spl-e:yes;}
@page Section1
{size:21.0cm 842.0pt;
margin:4.0cm 70.9pt 70.9pt 70.9pt;
mso-header-margin:3.0cm;
mso-footer-margin:2.0cm;
mso-page-numbers:231;
mso-title-page:yes;
mso-even-header:url("PNTreferences.files/header.htm") eh1;
mso-header:url("PNTreferences.files/header.htm") h1;
mso-paper-source:0;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Tabel Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";}
</style>
<![endif]--><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="7170"/>
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1"/>
</o:shapelayout></xml><![endif]-->
</head>
<body bgcolor=white lang=EN-US link=blue vlink=purple>
<div class=Section1><ilayer id="nsnav">
<div id=ienav>
<p align=center style='text-align:center'><span style='font-size:10.0pt;
font-family:Verdana'><a href="PNToolbox-toc.htm" target=left>Contents</a>
<a href="PNToolbox-index.htm" target=left>Index</a> <a
href="appendixbconfigurationfileforthepetrinettoolbox.htm">Previous</a> </span></p>
<p class=MsoNormal><span style='font-size:10.0pt;font-family:Verdana'> </span></p>
<div class=MsoNormal align=center style='text-align:center'><span
style='font-size:10.0pt;font-family:Verdana'>
<hr size=1 width="100%" noshade color=gray align=center>
</span></div>
</div>
<div></ilayer>
<p class=heading-2>References</p>
<p class=normal><u7:p> </p>
</u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>1.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Ajmone Marsan, M., Balbo, G., Bobio, A., Chiola, G., Conte, G. and
Cumani, A. (1985), "On Petri nets with stochastic timing", <i>Int.
Workshop on Timed Petri Nets</i>, Torino, pp. 80-87.</p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>2.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Ajmone Marsan, M. (1990), "Stochastic Petri nets: An elementary introduction",
in Rozenberg, G.: <i>Lecture Notes in Computer Science</i>, Vol.<i> </i><b>424</b>,<i>
Advances in Petri Nets 1989</i>, pp. 1-29, Springer-Verlag, Berlin.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>3.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Antsaklis, P.J. and Moody, J.O. (1998) <i>Supervisory Control of
Discrete Event Systems Using Petri Nets</i>,<span style='font-family:Arial'> </span>Kluwer
Academic Publishers.</p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>4.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Bolch, G., Greiner, S., de Meer, H. and Trivedi, K. (1998). <i>Queueing
Networks and Markov Chains: Modeling and Performance Evaluation with Computer
Science Applications</i><b>, </b>John Wiley and Sons, New York.</p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>5.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Cao, X.R. and Ho, Y.C. (1990), "Models of discrete event dynamic
systems", <i>IEEE Control Systems Magazine</i>, Vol. <b>10</b>, pp. 69-75.</p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>6.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Bacelli, F., Cohen, G., Olsder, G.J. and Quadrat, J.P. (1992), <i>Synchronization
and Linearity. An Algebra for Discrete Event Systems</i>, John Wiley and Sons, New
York.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>7.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Cassandras, C.G. (1993), Discrete Event <i>Systems</i>: <i>Modeling</i> <i>and</i>
<i>Performance</i> <i>Analysis</i>, Irwin.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>8.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span>Cassandras, C.G., Lafortune, S. and Olsder, G.J. (1995),
"Introduction to the modelling, control and optimization of discrete event
systems", in Isidori, A. (Ed.), <i>Trends in Control - A European
Perspective</i>, Springer-Verlag, pp. 217-292.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>9.<span
style='font-size:7.0pt;font-family:"Times New Roman"'>
</span><span style='layout-grid-mode:line'>Cohen,</span> G.<span
style='layout-grid-mode:line'>, Gaubert, S. and </span>Quadrat, J.P.<span
style='layout-grid-mode:line'> </span>(1998), "<span style='layout-grid-mode:
line'>Max-plus algebra and system theory: where we are and where to go now</span>"<span
style='layout-grid-mode:line'>, <i>IFAC Conf. on System Structure and Control</i>,
</span><span style='layout-grid-mode:line'>Nantes</span><span style='layout-grid-mode:
line'>.</span></p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>10.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>David,
R. et Alla, H. (1992), <i>Du Grafcet aux r閟eaux de Petri</i> (2e 閐ition),
Hermes, Paris.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>11.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>David,
R. and Alla, H. (1994), "Petri nets for modeling of dynamic systems - A
survey", <i>Automatica</i>, Vol. <b>30</b>, pp. 175-202.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>12.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>David,
R. et Alla, H. (2005), <i>Discrete, Continuous, and Hybrid Petri nets</i>,
Springer-Verlag, Berlin-Heidelberg.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>13.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>Desrochers,
A.A. and Al-Jaar, R.Y. (1993), Petri <i>Nets</i> for <i>Automated</i> <i>Manufacturing</i>
<i>Systems</i>: <i>Modeling</i>, Control <i>and</i> <i>Performance</i> <i>Analysis</i>,
Rensselaer Polytechnic Institute.</p>
<u7:p></u7:p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>14.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>Dijkstra,
E. W. (1968), "Co-operating sequential processes", in Genyus, F.
(ed.) <i>Programming Languages</i>, New York Academic, pp. 43-112.</p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>15.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>Ho,
Y.C. and Cassandras, C.G. (1983), "A new approach to the analysis of
discrete event dynamic systems", <i>Automatica</i>, Vol. <b>19</b>, pp.
149-167.</p>
<p class=normal style='margin-left:42.55pt;text-align:justify;text-indent:-21.25pt'>16.<span
style='font-size:7.0pt;font-family:"Times New Roman"'> </span>Jeng,
M.D. and DiCesare, F. (1995) "Synthesis using resource control nets for
modelling shared-resource systems", <i>IEEE Trans. on Robotics and
Automation</i>, Vol. <b>11</b>, pp. 317⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?