ħÀÔŽÁöÁö½ºÅÛÀÇ ¿À¿ëŽÁö ±â¹ý 6°¡Áö ¹æ¹ý·Ð Àü¹®°¡½Ã½ºÅÛ : Áö½Ä±â¹Ý Á¢±Ù ¹æ½Ä. °¢ °ø°ÝÀ» ±ÔÄ¢ ÁýÇÕÀ¸·Î °ü¸®, ±ÔÄ¢ ±â¹Ý ¾ð¾î »ç¿ë ¿ì¼± ¼øÀ§ ±â¹ÝÀ¸·Î ¼ö¸³µÈ ±ÔÄ¢ ÁýÇÕ°ú °¨»ç ÁõÀûÀÇ »ç°ÇµéÀ» ºñ±³ÇÏ¿© ŽÁö ½Ã±×´Ïó ºÐ¼® (¼­¸íºÐ¼®) : Áö½Ä±â¹Ý Á¢±Ù ¹æ½Ä. ±¤¹üÀ§ÇÑ ÀÚ·á ÃàÀû °¨»ç ÁõÀûÀ¸·ÎºÎÅÍ Á÷Á¢ °Ë»öÇÏ¿© ¼ø¼­¿Í ÆÐÅÏ µîÀ» ÃàÁ¤µÈ Á¤º¸¿Í ºñ±³ÇÏ¿© ŽÁö ÆäÆ®¸®³Ý (Petri-net) : Colored Petri-Nets(CPNs)À» »ç¿ëÇÏ¿© ŽÁö½Ã½ºÅÛ ÇàÀ§¸¦ ¸ðµ¨¸µ º¹ÀâÇÑ ½Ã½ºÅÛÀ» Ãß»óÈ­, µµ½ÄÀûÀΠǥÇö °¡´É. ºÐ·ù/»ó°ü °ü°èÀÇ È¿°úÀû Ç¥Çö °¡´É Ž½Ã½Ã½ºÅÛ ÇàÀ§µéÀÇ Áý´ÜÈ­, ºÐ·ù, »ó°ü°ü°è µîÀ» È¿°úÀûÀ¸·Î ¼³¸í °¡´É »óÅÂÀüÀÌ ºÐ¼® : UCSB ¿¡¼­ °³¹ß. »óÅ ÀüÀÌ ´ÙÀ̾î±×·¥À» ÅëÇØ ºÐ¼® À¯Àü ¾Ë°í¸®Áò : È®·ü ÀÇÁ¸ÀûÀÎ ¹æ½Ä. ÃʱâÈ­-¼±ÅÃ-±³Â÷-º¯ÀÌ-´ëÄ¡-¹Ýº¹-°á·ÐµµÃâ ÀÇ °úÁ¤À¸·Î ÁøÇà º¹ÀâÇÏ°í º¯À̵Ǵ ¿À·ù ŽÁö¿¡ È¿°úÀû ½Å°æ¸Á : »õ·Î¿î ÀÔ·Â Ãâ·Â½ÖÀ» ¾ò±â À§ÇØ µÎ ÁýÇÕÀÇ Á¤º¸°£ °ü·Ã¼ºÀ» ÇнÀÇÏ°í ÀϹÝÈ­ ±¸ÇöÀÌ ¾î·Æ±â ¶§¹®¿¡ ³Î¸® »ç¿ëÇÏÁö ¾ÊÀ½