Structure and behavior preservation by Petri-net-based refinements in system design
type: Item
instance of: scholarly article
title: Structure and behavior preservation by Petri-net-based refinements in system design
zbMATH Open document ID: 1071.68076
author: H.-J. Huang
author: To-yat Cheung
author: Wai Ming Mak
published in: Theoretical Computer Science
publication date: 2005-01-11T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2126076
zbMATH Keywords: Design
zbMATH Keywords: Petri net
zbMATH Keywords: Preservation
zbMATH Keywords: Refinement
zbMATH Keywords: Specification
zbMATH Keywords: Verification
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.07.016
OpenAlex ID: W2000106464
cites work: Q4247286
cites work: Free Choice Petri Nets
cites work: Reduction and synthesis of live and bounded free choice Petri nets
cites work: Q2766565
cites work: A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
cites work: Reduction and expansion of live and safe marked graphs
cites work: Q4398799
cites work: Q4247289
cites work: A method for stepwise refinement and abstraction of Petri nets
cites work: Analysis of Petri nets by stepwise refinements
DOI: 10.1016/J.TCS.2004.07.016
description: scientific article; zbMATH DE number 2126076