A timed petri net methodolgoy for specifying real-time system timing requirements
| Title | A timed petri net methodolgoy for specifying real-time system timing requirements |
| Publication Type | Conference Papers |
| Year of Publication | 1985 |
| Authors | Coolahan Jr JE, Roussopoulos N |
| Conference Name | International Workshop on Timed Petri Nets |
| Date Published | 1985/// |