标签Petri网相关论文
过程发现的目的是基于记录在事件日志中的业务过程的执行数据发现过程模型,由于一些原因导致过程模型中可能会出现隐变迁,而这些隐......
现代工业生产系统和过程控制在建模、分析、可靠性和规划方面都具有高度复杂性。各类复杂系统在运行过程中,不可避免会发生故障(一......
在柔性制造系统中经常会通过物联网,通信网络等计算机网络来保证数据之间的传输,但是这些数据的传递与共享会存在一些安全性的问题......
设计开发一种基于VHDL语言的新型集成技术，实现用Davidcells（DCs）构成的异步电路系统（Speed independent，SI），它综合了逻辑集成技术和直接......
提出了OWL—S过程模型的标签Petri网建模方法，给出了过程模型到LPN的转换规则，利用LPN分析方法对模型进行了可达性分析、死锁检测，能......
