//-->
Transforming BPEL to Petri nets
Hinz, Sebastian, (2005)
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs
Khouzani, Arman, (2019)
Petri nets formalism facilitates analysis of complex biomolecular structural data
Gogolinska, Anna, (2016)
Einführung in die strukturelle Automatentheorie
Bochmann, Dieter, (1975)
Beiträge zur Booleschen Signaltheorie
Barthel, Rainer, (1985)