책 이미지
eBook 미리보기
책 정보
· 제목 : Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Hardcover) (Modeling and Validation of Concurrent Systems)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783642002830
· 쪽수 : 384쪽
· 출판일 : 2009-07-02
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783642002830
· 쪽수 : 384쪽
· 출판일 : 2009-07-02
목차
to Modelling and Validation.- Non-hierarchical Coloured Petri Nets.- CPN ML Programming.- Formal Definition of Non-hierarchical Coloured Petri Nets.- Hierarchical Coloured Petri Nets.- Formal Definition of Hierarchical Coloured Petri Nets.- State Spaces and Behavioural Properties.- Advanced State Space Methods.- Formal Definition of State Spaces and Behavioural Properties.- Timed Coloured Petri Nets.- Formal Definition of Timed Coloured Petri Nets.- Simulation-based Performance Analysis.- Behavioural Visualisation.- Examples of Industrial Applications.- Teaching Coloured Petri Nets.
