Proof by model: a new knowledge-based reachability analysis methodology for Petri net

DOI10.1093/IMAMCI/DNW025zbMath1397.93134OpenAlexW2471177659MaRDI QIDQ4684078

Yen-Ping Chi, Tsung Hsien Yu, Li-Chih Yu, Daniel Yuh Chao, Mike Y. J. Lee

Publication date: 27 September 2018

Published in: IMA Journal of Mathematical Control and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/imamci/dnw025

zbMATH Keywords

flexible manufacturing systemsPetri netscontrol systemsdiscrete event systems

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets

This page was built for publication: Proof by model: a new knowledge-based reachability analysis methodology for Petri net