中图分类法:	N945 版次：
题名:	Transactions on petri nets and other models of concurrency I / / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	xviii, 249 p. : ill. ; 24 cm.
主题词:	Computer Science.
主题词:	Engineering, System Science.
主要责任者:	Jensen, Kurt.
主要责任者:	van der Alalst, Wil M. P.
主要责任者:	Billington, Jonathan.