Functorial semantics for Petri nets under the individual token philosophy
Roberto Bruni; José Meseguer; Ugo Montanari; Vladimiro Sassone
- 作者Roberto Bruni; José Meseguer; Ugo Montanari; Vladimiro Sassone
- 卷第29卷
- 印刷ISSN1571-0661
- 文件大小29.43KB
- 发表时间1999
- DOI10.1016/s1571-0661(05)80302-0