Modular Construction and Partial Order Semantics of Petri Nets
暂无分享,去创建一个
Petri nets and their semantics.- Parallel composition and deadlocking.- Behaviour preserving refinement of places and transitions.- Action refinement and interval words.- Action refinement and bisimulation.- Partial order semantics for nets with capacities.- Concluding remarks.