Transactions on Petri Nets and Other Models of Concurrency XVI

Maciej Koutny (1) , Fabrice Kordon (2) , Daniel Moldt (3)

1 Newcastle University [Newcastle]
2 MoVe - Modélisation et Vérification
3 Hamburg University of Applied Sciences [Hamburg]

Mots clés: architecture verification and validation; artificial intelligence; automata theory; computer programming; embedded systems; formal logic; graph theory; model checking; petri nets; programming languages; software architecture; software design; software engineering; software quality; verification; verification and validation

Domaines: Génie logiciel [cs.SE]; Théorie et langage formel [cs.FL]

Maciej Koutny, Fabrice Kordon, Daniel Moldt. Transactions on Petri Nets and Other Models of Concurrency XVI. Springer Berlin, Heidelberg, 13220, 2022, Lecture Notes in Computer Science, 978-3-662-65302-9. ⟨10.1007/978-3-662-65303-6⟩. ⟨hal-03926379⟩