Time-based expressivity of time Petri nets for system specification
type: Item
instance of: scholarly article
title: Time-based expressivity of time Petri nets for system specification
zbMATH Open document ID: 0914.68145
DOI: 10.1016/S0304-3975(98)00008-5
author: Antonio Cerone
author: Andrea Maggiolo-Schettini
published in: Theoretical Computer Science
publication date: 1999-04-28T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1281123
zbMATH Keywords: time(d) Petri net
zbMATH Keywords: time-critical systems
zbMATH Keywords: semantics
zbMATH Keywords: expressive power
zbMATH Keywords: formal language
MaRDI profile type: Publication
cites work: Q3319781
cites work: Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
cites work: Q3766866
cites work: Complexity of some problems in Petri nets
cites work: Q3474896
cites work: Recoverability of Communication Protocols--Implications of a Theoretical Study
cites work: Q3766864
cites work: Q3911403
cites work: Q3357558
cites work: Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
cites work: Q4172930
cites work: Infinite behaviour of Petri nets
full work available at URL: s0304-3975(98)00008-5
OpenAlex ID: W2074016802
description: scientific article; zbMATH DE number 1281123