Hierarchical modelling and verification based on Petri net components with multiple import interfaces
Küssel, Uwe; Padberg, Julia; Abel, Dirk
Amsterdam : Elsevier (2008)
Contribution to a book, Contribution to a conference proceedings, Journal Article
In: IFAC Proceedings Volumes
Volume: 41
Issue: 2
Page(s)/Article-Nr.: 3606-3611
Institutions
- Chair and Institute of Automatic Control [416610]
Identifier
- DOI: 10.3182/20080706-5-KR-1001.00609
- RWTH PUBLICATIONS: RWTH-CONV-171290