Libero Nigro, Francesco Pupo. Modeling and Analysing DART Systems Through High-Level Petri Nets. In Jonathan Billington, Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Volume 1091 of Lecture Notes in Computer Science, pages 420-439, Springer, 1996.
@inproceedings{NigroP96, title = {Modeling and Analysing DART Systems Through High-Level Petri Nets}, author = {Libero Nigro and Francesco Pupo}, year = {1996}, tags = {modeling}, researchr = {https://researchr.org/publication/NigroP96}, cites = {0}, citedby = {0}, pages = {420-439}, booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings}, editor = {Jonathan Billington and Wolfgang Reisig}, volume = {1091}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61363-3}, }