โปรแกรมตาม smv.unige.ch/tiki-index.php?page=IntroCoopn

  • Co-opn ฟรี

    พิธีการ Petri Nets (CO-OPN) ที่มุ่งเน้นวัตถุพร้อมกันนั้นได้รับการคิดค้นขึ้นเพื่อสนับสนุนข้อกําหนดของระบบแบบกระจายในรูปแบบโมดูลาร์ เครื่องมือเช่นบรรณาธิการตัวตรวจสอบไวยากรณ์เครื่องกําเนิดไฟฟ้าทดสอบและเครื่องกําเนิดไฟฟ้าต้นแบบจ