01244nam 2200409 450 991079471520332120230802001529.03-7369-4056-4(CKB)4340000000197221(MiAaPQ)EBC5019245(EXLCZ)99434000000019722120171002h20122012 uy 0gerurcnu||||||||rdacontentrdamediardacarrierPetri-Netz basierte verifikation von funktionalen testfällen /Sebastian ThielGöttingen, [Germany] :Cuvillier Verlag,2012.©20121 online resource (227 pages) illustrations, tablesAudi Dissertationsreihe ;Band 573-95404-056-5 Includes bibliographical references.Petri netsAutomatic controlCase studiesPetri nets.Automatic control005.1015115Thiel Sebastian1502638MiAaPQMiAaPQMiAaPQBOOK9910794715203321Petri-Netz basierte verifikation von funktionalen testfällen3730501UNINA