A Specification of a Hybrid Petri Net Semantics for the HISim Simulator
| Title | A Specification of a Hybrid Petri Net Semantics for the HISim Simulator |
| Publication Type | Technical Report |
| Year of Publication | 2009 |
| Authors | Amengual, A. |
| Other Numbers | 2611 |
| URL | http://www.icsi.berkeley.edu/pubs/techreports/TR-09-003.pdf |
| Bibliographic Notes | ICSI Technical Report TR-09-003 |
| Abbreviated Authors | A. Amengual |
| ICSI Research Group | AI |
| ICSI Publication Type | Technical Report |