โปรแกรมตาม smv.unige.ch/tiki-index.php?page=IntroCoopn
-
Co-opn ฟรี
พิธีการ Petri Nets (CO-OPN) ที่มุ่งเน้นวัตถุพร้อมกันนั้นได้รับการคิดค้นขึ้นเพื่อสนับสนุนข้อกําหนดของระบบแบบกระจายในรูปแบบโมดูลาร์ เครื่องมือเช่นบรรณาธิการตัวตรวจสอบไวยากรณ์เครื่องกําเนิดไฟฟ้าทดสอบและเครื่องกําเนิดไฟฟ้าต้นแบบจ