Simulering

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Simulering</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <A HREF="id320.htm" TARGET="_top" TITLE="Specifikationer"><U><B><IMG SRC="003151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id242.htm" TARGET="_top" TITLE="Mønstre"><U><B><IMG SRC="004151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id199.htm" TARGET="_top" TITLE="Formalisering"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="jensen__1997__a_brief_introduction_to_coloured_petri_nets.htm" TARGET="_top" TITLE="A Brief Introduction to Coloured Petri N"><U><B>Jensen [1997] A Brief Introduction to Coloured Petri Nets</B></U></A></div> <div> <A HREF="jensen__1994__an_introduction_to_the_theoretical_aspects_of_coloured_petri_nets.htm" TARGET="_top" TITLE="An Introduction to the Theoretical Aspec"><U><B>Jensen [1994] An Introduction to the Theoretical Aspects of Coloured Petri Nets</B></U></A></div> <div> <A HREF="jensen__1996__an_introduction_to_the_practical_use_of_coloured_petri_nets.htm" TARGET="_top" TITLE="An Introduction to the Practical Use of "><U><B>Jensen [1996] An Introduction to the Practical Use of Coloured Petri Nets</B></U></A></div> <div> <A HREF="oberweis___sander__1996__information_system_behavior_specification_by_high_level.htm" TARGET="_top" TITLE="Information System Behavior Specificatio"><U><B>Oberweis & Sander [1996] Information System Behavior Specification by High-Level Petri Nets</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> I forbindelse med systemudvikling er muligheden for at simulere systemet i en model førend den egentlige implementering værdifuld ved på et tidligt tidspunkt at kunne afsløre væsentlige fejl og mangler i det designede system og derved spare tid og resourcer.</div> <bR> <div> Petri net er et sprog/værktøj som er udviklet med en formel basis til modellering og simulering af systemprocesser. Petri net omfattede oprindeligt kun simple ikke-hierarkiske netværk med boolske/binære data, som ikke er særligt anvendelige til store, komplekse systemer med komplekse datastrukturer. Petri net er dog senere udvidet med hierarkiske netværk til opdeling af komplekse systemer; komplekse datatyper som tekst og tal til modellering af almindelige data; og hierarkisk relationelle datastrukturer til modellering af komplekse datastrukturer.</div> <bR> <div> Dermed er Petri net udvidet med funktioner til modellering af store og komplekse systemer svarende til mulighederne med for eksempel dataflow diagrammer. Med Petri net er der desuden mulighed for at anvende modellen til simulering af systemet, samt validering og anden matematisk/logisk analyse og bearbejdning af modellen som følge af den formelle basis.</div> <bR> </td> </tr></table></body>