%0 Conference Paper %1 conf/apn/NigroP96 %A Nigro, Libero %A Pupo, Francesco %B Application and Theory of Petri Nets %D 1996 %E Billington, Jonathan %E Reisig, Wolfgang %I Springer %K dblp %P 420-439 %T Modeling and Analysing DART Systems Through High-Level Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/apn96.html#NigroP96 %V 1091 %@ 3-540-61363-3

@inproceedings{conf/apn/NigroP96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Nigro, Libero and Pupo, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/20c58cdd41a5846c19ebaa725ee41b64f/dblp}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1996}, editor = {Billington, Jonathan and Reisig, Wolfgang}, ee = {https://doi.org/10.1007/3-540-61363-3_23}, interhash = {a95175451b0913deb0ecb297323842ac}, intrahash = {0c58cdd41a5846c19ebaa725ee41b64f}, isbn = {3-540-61363-3}, keywords = {dblp}, pages = {420-439}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:50.000+0200}, title = {Modeling and Analysing DART Systems Through High-Level Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn96.html#NigroP96}, volume = 1091, year = 1996 }