TY  - GEN
T1  - Process algebras for Petri nets :the alphabetization of distributed systems /
AU  - Gorrieri, Roberto,
CN  - QA267
ID  - 780865
KW  - Petri nets.
KW  - Computer algorithms.
KW  - Parallel processing (Electronic computers)
KW  - Electronic data processing
SN  - 9783319555591
SN  - 3319555596
TI  - Process algebras for Petri nets :the alphabetization of distributed systems /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-55559-1
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-55559-1
ER  -