Model checking of time Petri nets using the state class timed automaton
type: Item
instance of: scholarly article
title: Model checking of time Petri nets using the state class timed automaton
zbMATH Open document ID: 1113.68068
author: Didier Lime
author: Olivier H. Roux
published in: Discrete Event Dynamic Systems
publication date: 2007-01-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A30
zbMATH DE Number: 5116458
zbMATH Keywords: Time Petri nets
zbMATH Keywords: Timed automata
zbMATH Keywords: Model-checking
zbMATH Keywords: Dense-time systems
describes a project that uses: Kronos
describes a project that uses: SENAC
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: s10626-006-8133-9
OpenAlex ID: W2129140418
cites work: Q4535172
cites work: Model-checking in dense real-time
cites work: Q4417948
cites work: Q3844775
cites work: Q2766563
cites work: Symbolic model checking for real-time systems
cites work: Uppaal in a nutshell
cites work: Applications and Theory of Petri Nets 2004
cites work: Q3357558
cites work: Compositional specification of timed systems
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1007/S10626-006-8133-9
description: scientific article; zbMATH DE number 5116458