開發者 mozart.csai.unipa.it/PASSI

PTK 工具是 Rational Rose 外掛程式，它為 PASSI（代理協會規範和實施流程）提供了一種逐步要求代碼的方法，用於設計和開發多代理社會。