Integration of Message Sequence Charts and Petri Nets in the System Design Process
International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany
International workshop on software specification of safety relevant transportation control tasks ; 91-100
2003-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Integration of message sequence charts and Petri nets in the system design process
Tema Archive | 2003
|Modeling train control systems: from message sequence charts to Petri nets
Tema Archive | 2000
|Logic control design with Petri nets
British Library Conference Proceedings | 1993
|Controlled Time Petri Nets and Modeling of Batch Process System
British Library Online Contents | 2000
|Modeling the Design Process of Product Variants With Timed Colored Petri Nets
Online Contents | 2009
|