TY  - GEN
DO  - 10.1007/978-3-662-58381-4
DO  - doi
T1  - Transactions on petri nets and other models of concurrency XIII /
AU  - Koutny, Maciej,
AU  - Kristensen, Lars M.
AU  - Penczek, Wojciech,
VL  - 11090
CN  - QA267
N1  - Includes author index.
ID  - 856739
KW  - Petri nets.
SN  - 9783662583814
SN  - 366258381X
TI  - Transactions on petri nets and other models of concurrency XIII /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-58381-4
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-58381-4
ER  -