圖書名稱:Transactions on Petri Nets and Other Models of Concurrency IV
內容簡介
This book presents archival papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Includes a selection of the best papers from workshops and tutorials at annual Petri net conferences.