基于Petri网模型的仪器设备共享平台设计与实现

摘要

针对当前高校大型仪器设备共享率低的情况,使用Petri网建模理论建立了高校仪器设备共享平台Petri网模型,并分析了此模型的正确性。基于建立的模型对平台的功能和架构进行了设计,采用SSH2框架实现了此平台,较好满足了实际应用的需要。