Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
type: Item
instance of: scholarly article
title: Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
zbMATH Open document ID: 1252.68190
author: Franco Cicirelli
author: Angelo Furfaro
author: Libero Nigro
published in: Applied Mathematics and Computation
publication date: 2012-08-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6068264
zbMATH Keywords: modeling
zbMATH Keywords: timing constraints
zbMATH Keywords: real-time systems
zbMATH Keywords: schedulability analysis
zbMATH Keywords: time stream Petri nets
zbMATH Keywords: model checking
zbMATH Keywords: timed automata
zbMATH Keywords: \texttt{UPPAAL}
describes a project that uses: Uppaal
describes a project that uses: TINA
MaRDI profile type: Publication
full work available at URL: j.amc.2012.02.018
OpenAlex ID: W2064787495
cites work: Recoverability of Communication Protocols--Implications of a Theoretical Study
cites work: The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
cites work: A new applied approach for executing computations with infinite and infinitesimal quantities
cites work: Numerical computations and mathematical modelling with infinite and infinitesimal numbers
cites work: A theory of timed automata
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Lectures on Concurrency and Petri Nets
cites work: Compact data structures and state-space reduction for model-checking real-time systems
cites work: Q3992568
cites work: Q3777424
cites work: Q4036557
cites work: Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
DOI: 10.1016/J.AMC.2012.02.018
description: scientific article; zbMATH DE number 6068264