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
Einrichtungen
- Lehrstuhl und Institut für Regelungstechnik [416610]
Identifikationsnummern
- DOI: 10.3182/20080706-5-KR-1001.00609
- RWTH PUBLICATIONS: RWTH-CONV-171290