Philippe Darondeau, Sté Demri, Roland Meyer, Christophe Morvan. Petri Net Reachability Graphs: Decidability Status of FO Properties. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India, Supratik Chakraborty, Amit Kumar (eds.), LIPIcs, Volume 13, Pages 140-151, 2011.
Download paper:
Doi page
Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
[ Nets ]
@InProceedings{Darondeau2011c,
Author = {Darondeau, Philippe and Demri, Sté and Meyer, Roland and Morvan, Christophe},
Title = {Petri Net Reachability Graphs: Decidability Status of FO Properties},
BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India},
editor = {Chakraborty, Supratik and Kumar, Amit},
Volume = {13},
Pages = {140--151},
Series = {LIPIcs},
Publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
Year = {2011}
}
Get EndNote Reference (.ref)