Açıklama
Petri ağlarının (PA) nesne yönelimli mantıkla model yapısında sarıldığı, bir miras mekanizması tanımıyla türetilip genişletilebildiği, mantık programlama yaklaşımıyla muhakeme tekniklerinin model yeteneği olarak dahil edilebildiği, modellerin ilişkilendirilmesiyle karmaşık sistem tanımlamalarının gerçekleştirilebildiği, paralel simülasyonu destekleyen, yüksek işletim hızına sahip ve zamanlı ve zamansız simülasyon işletiminin mümkün olduğu bulut üzerinde ve masa üstü uygulama olarak kullanılabilen bir simülasyon sistemidir. Sistem kullanıcıları model geliştirme, modelleri ilişkilendirme, geliştirdiği modelleri markete sunma, senaryo işletme ve analiz verileri elde etme imkanına sahiptir. Model geliştirme süreci UML diline uygun araçlarla bir simülasyon mühendislik süreci olarak sunulur. Bulut üzerinden işletim ve model paylaşımları süreli ve süresiz farklı abonelik sistemi ile destekleneceği için maliyet etkin çözümler sağlayar.
