TCS / Research / Publications / Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

Reference:

Timo Latvala. Model checking LTL properties of high-level petri nets with fairness constraints. In J-M. Colom and M. Koutny, editors, Application and Theory of Petri Nets, pages 242–262, Berlin, 2001. Springer.

[Copyright Springer-Verlag]

Suggested BibTeX entry:

@inproceedings{Lat01b,
    address = {Berlin},
    author = {Timo Latvala},
    booktitle = {Application and Theory of Petri Nets},
    editor = {J-M. Colom and M. Koutny},
    pages = {242--262},
    publisher = {Springer},
    title = {Model Checking {LTL} Properties of High-Level Petri Nets with Fairness Constraints},
    year = {2001},
}

See link.springer.de ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.