Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking by Wenjie Zhong, Jian‐tao Zhou, Tao Sun

Subjects: Get full text

A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System by Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, Andrzej Obuchowicz, Zhiwu Li, Dawid Konarczak

Subjects: “…Petri nets…”
Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: “…Petri net…”
Get full text