Verification of Communication Structured Acyclic Nets Using SAT. - Nadiyah Almutairi; Maciej Koutny (PNSE@Petri Nets, 2021)

Probabilistic Communication Structured Acyclic Nets. - Nadiyah Almutairi (PNSE@Petri Nets, 2022)

Probabilistic Behavioural Acyclic Nets. - Nadiyah Almutairi (PNSE@Petri Nets, 2023)

Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets). - Nadiyah Almutairi; Tuwailaa Alshammari; Mohammed Alahmadi (PNSE@Petri Nets, 2024)

Structured Acyclic Nets. - Mohammed Alahmadi; Salma Alharbi; Talal Alharbi; Nadiyah Almutairi; Tuwailaa Alshammari; Anirban Bhattacharyya; Maciej Koutny; Bowen Li; Brian Randell (CoRR, 2024)