On Petri Nets and Predicate-Transition Nets

Reference:

Andrea Röck and Ray Kresman. On petri nets and predicate-transition nets. In Hamid R. Arabnia and Hassan Reza, editors, Software Engineering Research and Practice - SERP 2006, volume 2, pages 903–909. CSREA Press, 2006.

Suggested BibTeX entry:

@inproceedings{Roeck06,
    author = {Andrea R\"ock and Ray Kresman},
    booktitle = {Software Engineering Research and Practice - SERP 2006},
    editor = {Hamid R. Arabnia and Hassan Reza},
    pages = {903-909},
    publisher = {CSREA Press},
    title = {On Petri Nets and Predicate-Transition Nets},
    volume = {2},
    year = {2006},
}