Hierarchical modelling and verification based on Petri net components with multiple import interfaces

Küssel, Uwe; Padberg, Julia; Abel, Dirk

Amsterdam : Elsevier (2008)
Buchbeitrag, Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: IFAC Proceedings Volumes
Band: 41
Heft: 2
Seite(n)/Artikel-Nr.: 3606-3611