@inproceedings{DBLP:conf/ac/BusiG03,
author = {Nadia Busi and
Roberto Gorrieri},
title = {A Survey on Non-interference with Petri Nets},
booktitle = {Lectures on Concurrency and Petri Nets},
year = {2003},
pages = {328-344},
ee = {http://dx.doi.org/10.1007/978-3-540-27755-2_8},
crossref = {DBLP:conf/ac/2003pn},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ac/2003pn,
editor = {J{\"o}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Lectures on Concurrency and Petri Nets, Advances in Petri
Nets [This tutorial volume originates from the 4th Advanced
Course on Petri Nets, ACPN 2003, held in Eichst{\"a}tt,
Germany in September 2003. In addition to lectures given
at ACPN 2003, additional chapters have been commissioned]},
booktitle = {Lectures on Concurrency and Petri Nets},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3098},
year = {2004},
isbn = {3-540-22261-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-06-07 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
