@inproceedings{Kostin:2006:RAG:2135978.2136033,
    Address = {Berlin, Heidelberg},
    Author = {Kostin, Alexander E.},
    BookTitle = {Proceedings of the 31st International Conference on Mathematical Foundations of Computer Science},
    ISBN = {3-540-37791-3, 978-3-540-37791-7},
    Keywords = {petri nets, reachability, transition invariants},
    Location = {Star\&\\#225; Lesn\&\\#225;, Slovakia},
    Pages = {608--621},
    Publisher = {Springer-Verlag},
    Series = {MFCS'06},
    Title = {A Reachability Algorithm for General Petri Nets Based on Transition Invariants},
    URL = {http://dx.doi.org/10.1007/11821069\_53},
    Year = {2006},
    acmid = {2136033},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11821069\_53},
    date-added = {2018-04-27 06:52:35 +0000},
    date-modified = {2018-04-27 06:52:35 +0000},
    numpages = {14},
    doi = {10.1007/11821069_53}
}

@inproceedings{Kostin:2006:RAG:2135978.2136033, Address = {Berlin, Heidelberg}, Author = {Kostin, Alexander E.}, BookTitle = {Proceedings of the 31st International Conference on Mathematical Foundations of Computer Science}, ISBN = {3-540-37791-3, 978-3-540-37791-7}, Keywords = {petri nets, reachability, transition invariants}, Location = {Star\&\#225; Lesn\&\#225;, Slovakia}, Pages = {608--621}, Publisher = {Springer-Verlag}, Series = {MFCS'06}, Title = {A Reachability Algorithm for General Petri Nets Based on Transition Invariants}, URL = {http://dx.doi.org/10.1007/11821069_53}, Year = {2006}, acmid = {2136033}, bdsk-url-1 = {http://dx.doi.org/10.1007/11821069_53}, date-added = {2018-04-27 06:52:35 +0000}, date-modified = {2018-04-27 06:52:35 +0000}, numpages = {14}, doi = {10.1007/11821069_53} }