Petri Ağları (COMP544)
Petri Nets'in nasıl geliştirildiğini göstererek Petri Nets'in kuramsal ve pratik yönlerini tutarlı bir şekilde tanımlamak, gelecek vaat eden bir teorik model olmaktan, tasarım, şartname, simülasyon için tam teşekküllü bir dil olmaktan ibarettir. Büyük ayrık olay sistemlerinin doğrulanması ve uygulanması.