Chương trình theo smv.unige.ch/tiki-index.php?page=IntroCoopn

Chủ nghĩa hình thức Petri Nets (CO-OPN) hướng đối tượng đồng thời được đưa ra để hỗ trợ các đặc điểm kỹ thuật của các hệ thống phân tán theo cách mô-đun. Các công cụ như trình soạn thảo, trình kiểm tra cú pháp, trình tạo thử