• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Efficient Verification of a Class of Time Petri Nets Using Linear Programming

Xuandong Li, Johan Lilius, Efficient Verification of a Class of Time Petri Nets Using Linear Programming. Information Processing Letters 77, 219–224, 2001.

BibTeX entry:

@ARTICLE{jLiLia,
  title = {Efficient Verification of a Class of Time Petri Nets Using Linear Programming},
  author = {Li, Xuandong and Lilius, Johan},
  journal = {Information Processing Letters},
  volume = {77},
  pages = {219–224},
  year = {2001},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 2

Edit publication