A theory of implementation and refinement in timed Petri nets
From MaRDI portal
Publication:1128980
DOI10.1016/S0304-3975(97)00078-9zbMATH Open0902.68137OpenAlexW2126134153MaRDI QIDQ1128980FDOQ1128980
Authors: Miguel Felder, Angelo Gargantini, Angelo Morzenti 
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00078-9
Recommendations
verificationdesignimplementationrefinementspecificationtemporal logictimed Petri netscorrectnessrequirementsreal-time and reactive systems
Cites Work
- Title not available (Why is that?)
- The existence of refinement mappings
- Ten Years of Hoare's Logic: A Survey—Part I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modular construction and partial order semantics of Petri nets
- Title not available (Why is that?)
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Constraint logic programming for reasoning about discrete event processes
- Title not available (Why is that?)
- Analysis of Petri nets by stepwise refinements
- Title not available (Why is that?)
- Using mappings to prove timing properties
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Verifying abstractions of timed systems
- Title not available (Why is that?)
This page was built for publication: A theory of implementation and refinement in timed Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128980)
