Modeling and verification of reconfigurable printing system based on process algebra

DOI10.1155/2018/9189836zbMath1427.90123OpenAlexW2894556291MaRDI QIDQ1721623

Shisheng Zhou, Rubai Luo, Huailin Li, Sha-Sha Gao

Publication date: 8 February 2019

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2018/9189836

Mathematics Subject Classification ID

Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• mCRL2

Cites Work

• Unnamed Item
• Optimal configuration selection for reconfigurable manufacturing systems
• A calculus of communicating systems
• Modelling and optimization of multiple-aspect RMS configurations
• Process algebra for synchronous communication
• Problem Solving Using Process Algebra Considered Insightful
• Reconfigurable manufacturing systems: the state of the art