Discretization of timed automata in Timed µCRL à la regions and zones

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

This paper describes the initial steps in the discretization of a timed µCRL process equation representing a timed automaton. If the fractional parts of the time stamps of the actions are neglected, the translation results in a timed bisimilar representation with only discrete parameters and bound variables. To this end we apply "standard" techniques such as coordinate transformation and abstraction.
Originele taal-2Engels
TitelProceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)
RedacteurenL. Aceto, A.D. Gordon
Pagina's197-202
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume162
ISSN van geprinte versie1571-0061

Citeer dit