Information system design of manufacturing environments

DOI10.1007/BF02946502zbMath0920.68095OpenAlexW1967148158MaRDI QIDQ1288427

Guanqun Gu, Junzhou Luo

Publication date: 13 September 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946502

zbMATH Keywords

Petri netCIM information system modeling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of data (68P99)

Cites Work

• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Continuity of Generalized Semi-Markov Processes
• Unnamed Item
• Unnamed Item

This page was built for publication: Information system design of manufacturing environments