Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2011)
We study three timed extensions of Petri nets. We demonstrate methods for transforming these types of Petri nets into Real-Time Maude programs. This lays the groundwork for a timed Petri net analysis tool in which these ...