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

Seoul / IFAC (2008) [Contribution to a conference proceedings]

Proceedings of the 17th IFAC World Congress : 2008, Seoul, South Korea, July 6 -11, 2008 / General Chair: Hyung Suck Cho
Page(s): 3606-3611


Selected Authors

Küssel, Uwe
Padberg, Julia
Abel, Dirk