Pages that link to "Item:Q1128980"
From MaRDI portal
The following pages link to A theory of implementation and refinement in timed Petri nets (Q1128980):
Displaying 5 items.
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- TPTS'2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6--7, 2002 (Q2377228) (← links)
- (Q4220896) (← links)
- Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets (Q4637907) (← links)
- Verifying abstractions of timed systems (Q6162104) (← links)