Abstract
no abstract
Original language | English |
---|---|
Title of host publication | Petri nets for systems engineering : a guide to modeling, verification, and applications |
Editors | G. Girault, R. Valk |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 473-477 |
Number of pages | 607 |
ISBN (Print) | 3-540-41217-4 |
Publication status | Published - 2003 |