A theory of implementation and refinement in timed Petri nets

DOI10.1016/S0304-3975(97)00078-9MaRDI QIDQ1128980zbMATHOpenAlexFDO

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

zbMATH Keywords

verificationdesignimplementationrefinementspecificationtemporal logictimed Petri netscorrectnessrequirementsreal-time and reactive systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1536566
• Timewise refinement for communicating processes
• Timewise refinement for communicating processes
• Publication:4934360
• Verifying abstractions of timed systems

Cites work

• scientific article; zbMATH DE number 4206024 (Why is no real title available?)
• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 3972197 (Why is no real title available?)
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 4049068 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 578247 (Why is no real title available?)
• scientific article; zbMATH DE number 1536566 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• Analysis of Petri nets by stepwise refinements
• Constraint logic programming for reasoning about discrete event processes
• Modular construction and partial order semantics of Petri nets
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Ten Years of Hoare's Logic: A Survey—Part I
• The existence of refinement mappings
• Using mappings to prove timing properties

Cited in

(8)

• 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
• An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
• scientific article; zbMATH DE number 2102707 (Why is no real title available?)
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Verifying abstractions of timed systems
• Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
• scientific article; zbMATH DE number 1536566 (Why is no real title available?)

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)