An Introduction to the Theoretical Aspects of Coloured Petri Nets

<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>An Introduction to the Theoretical Aspects of Coloured Petri Nets</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> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></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> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="13"></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> <B>Kurt Jensen</B></div> <div> <B>i:</B></div> <div> <B>A Decade of Concurrency</B></div> <div> <B>J.W. de Bakker & W.-P. de Roever & G. Rozenberg</B></div> <div> <B>Lecture Notes in Computer Science Vol. 803, Springer-Verlag, 1994</B></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> <A HREF="Referencer\Theoretical_Aspects_of_Coloured_Petri_Nets.pdf" TARGET="_top" TITLE="Referencer\Theoretical_Aspects_of_Colour"><U>An Introduction to the Theoretical Aspects of Coloured Petri Nets</U></A></div> <bR> </td> </tr></table></body>