ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î È®ÀÎÀ»À§ÇÑ È¯°æ

ÀÌ ¾Ç±â·Î UML ½ÃÄö½º ¹ø¿ª
Áö±Ý ´Ù¿î·Îµå

ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î È®ÀÎÀ»À§ÇÑ È¯°æ ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • GPL
  • °Ô½ÃÀÚ À̸§:
  • Marcelo M. Custodio
  • ¿î¿µÃ¼Á¦:
  • Windows All
  • ÆÄÀÏ Å©±â:
  • 57 KB

ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î È®ÀÎÀ»À§ÇÑ È¯°æ ű×


ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î È®ÀÎÀ»À§ÇÑ È¯°æ ¼³¸í

ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î È®ÀÎÀ»À§ÇÑ È¯°æÀº UML ½ÃÄö½º ´ÙÀ̾î±×·¥À» PetRI Nets·Î º¯È¯ÇÏ°í SMV·Î ½Ã½ºÅÛ ¼Ó¼ºÀ» È®ÀÎÇÒ ¼öÀִ ȯ°æÀ¸·Î ¸¸µé¾îÁý´Ï´Ù. ÀÌ µµ±¸´Â UMLÀÇ ÀÔ·Â ½ÃÄö½º ´ÙÀ̾î±×·¥À¸·Î ¼ö½ÅÇÏ°í PETRI NETÀ» ¼¼ °¡Áö Çü½ÄÀ¸·Î Á¦°øÇÕ´Ï´Ù. ¡¤ APNN, ¡¤ PNML, ¡¤ SMV.


ÀÓº£µðµå ¼ÒÇÁÆ®¿þ¾î È®ÀÎÀ»À§ÇÑ È¯°æ °ü·Ã ¼ÒÇÁÆ®¿þ¾î