Search results for: Jörg Desel
Fundamenta Informaticae > 2020 > Vol. 175, nr 1-4 > 143--172
Acta Informatica > 2019 > 56 > 2 > 93-159
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 146-165
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency II > 243-259
Lecture Notes in Computer Science > Business Process Management > Verification and Compliance > 294-309
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Full papers > 157-176
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part III: Petri Nets and Related Approaches in Engineering > 199-205
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency III > 216-243
Lecture Notes in Computer Science > Foundation of Software Technology and Theoretical Computer Science > 366-377
Lecture Notes in Computer Science > STACS 91 > 384-397