Property-preserving subnet reductions for designing manufacturing systems with shared resources

DOI10.1016/j.tcs.2004.12.010zbMath1070.68104MaRDI QIDQ1770402

Xianqiang Yang

Publication date: 6 April 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.12.010

zbMATH Keywords

Petri net; Verification; Reduction; Transformation; Manufacturing system; System design; Property-preserving

Mathematics Subject Classification ID

90B30: Production models

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)