Tony Spiteri Staines. Using a Timed Petri Net (TPN) to Model a Bank ATM. In 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany. pages 151-158, IEEE Computer Society, 2006. [doi]
@inproceedings{Staines06,
title = {Using a Timed Petri Net (TPN) to Model a Bank ATM},
author = {Tony Spiteri Staines},
year = {2006},
doi = {10.1109/ECBS.2006.71},
url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.71},
researchr = {https://researchr.org/publication/Staines06},
cites = {0},
citedby = {0},
pages = {151-158},
booktitle = {13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany},
publisher = {IEEE Computer Society},
isbn = {0-7695-2546-6},
}