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