Vol-4087⫷ Vol-4088 ⫸Vol-4089
urn:nbn:de:0074-4088-0


Vol-4088/paper_249⫷Vol-4088/paper_250⫸Vol-4088/paper_251
Christian ImenkampJoscha GrügerMartin KuhnChristoph MathejaAndrey RivkinAgnes Koschmider

YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets