Action Planning for Directed Model Checking of Petri Nets
| Type of publication: | Article |
| Citation: | edelkamp:2006:apd |
| Journal: | Electronic Notes in Theoretical Computer Science |
| Volume: | 149 |
| Number: | 2 |
| Year: | 2006 |
| Month: | February |
| Pages: | 3--18 |
| Publisher: | Elsevier Science Publishers B. V. |
| Address: | Amsterdam, The Netherlands, The Netherlands |
| ISSN: | 1571-0661 |
| Userfields: | acmid={1706736}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, issue_date={February, 2006}, numpages={16}, project={fremdliteratur}, xxxdoi={10.1016/j.entcs.2005.07.023}, xxxurl={http://dx.doi.org/10.1016/j.entcs.2005.07.023}, |
| Keywords: | Action Planning, Directed Model Checking, PDDL, Petri nets |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|