@inproceedings{
    VrpRa92,
    editor = "Jensen, Kurt",
    author = "Varpaaniemi, Kimmo and Rauhamaa, Marko",
    publisher = "Springer-Verlag, Berlin, Germany",
    note = "© Springer-Verlag Berlin Heidelberg 1992",
    title = "{T}he Stubborn Set Method in Practice",
    url = "http://users.tkk.fi/~kvarpaan/info/VrpRa92.html",
    series = "Lecture Notes in Computer Science",
    booktitle = "{A}pplication and Theory of {P}etri Nets 1992: 13th International Conference, {S}heffield, {U}{K}, {J}une 22--26, 1992, Proceedings",
    pages = "389--393",
    volume = "616",
    flags = "public",
    year = "1992",
    keywords = "Petri nets, reachability analysis, stubborn set method, state space explosion",
    abstract = "A project for studying the stubborn set method in practice is described. The stubborn set method has been implemented in PROD, a reachability analysis tool for PrT-nets, and will be studied in practical cases using PROD."
}