The expressive power of time Petri nets
type: Item
instance of: scholarly article
title: The expressive power of time Petri nets
zbMATH Open document ID: 1259.68141
published in: Theoretical Computer Science
publication date: 2013-03-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6149024
zbMATH Keywords: time Petri nets
zbMATH Keywords: timed automata
zbMATH Keywords: expressiveness
zbMATH Keywords: language equivalence
zbMATH Keywords: bisimilarity
author: Béatrice Bérard
author: Franck Cassez
author: Serge Haddad
author: Didier Lime
author: Olivier H. Roux
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.12.005
OpenAlex ID: W2006988532
DOI: 10.1016/J.TCS.2012.12.005
description: scientific article; zbMATH DE number 6149024