How to Construct an Automated Warehouse Based on Colored Timed Petri Nets

DOI10.1007/978-90-481-9112-3_38zbMATH Open1205.68240OpenAlexW1535077187MaRDI QIDQ4930235

Shanjun He, Fei Cheng

Publication date: 28 September 2010

Published in: Innovations in Computing Sciences and Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-90-481-9112-3_38

zbMATH Keywords

modelingautomated storage and retrieval systemautomated warehousemulticolorcolored timed Petri net

Mathematics Subject Classification ID

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

Uses Software

• Visual C++

This page was built for publication: How to Construct an Automated Warehouse Based on Colored Timed Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930235)