| Type |  Book |
| ชื่อเรื่อง | Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rudiger Valk |
| ผู้แต่ง | Girault, Claude |
| ISBN | 3540412174 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2003 |
| รูปเล่ม | xvi, 607 p |
| หัวเรื่อง | Formal methods (Computer science) |
| | Petri nets |
| | Systems engineering |