In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our ...In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.展开更多
高耸结构P-Δ效应的传统分析方法一般难以考虑时变轴力作用,有可能会低估P-Δ效应对结构安全性的影响.本文应用求积单元法(weak form quadrature element method,QEM),针对分布质量结构体系和含有集中质量的结构体系分别建立Hermite型...高耸结构P-Δ效应的传统分析方法一般难以考虑时变轴力作用,有可能会低估P-Δ效应对结构安全性的影响.本文应用求积单元法(weak form quadrature element method,QEM),针对分布质量结构体系和含有集中质量的结构体系分别建立Hermite型求积单元模型,发展了一种高耸结构P-Δ效应高阶精确分析方法.该方法能够应用于具有突变质量的结构体系,可处理任意轴向荷载引起的动力P-Δ效应问题,无需迭代计算即可获得高精度的P-Δ效应解答,同时能准确地揭示竖向荷载以及时变轴力对高耸结构特性的影响规律.通过对3个不同类型案例的比较分析,验证了本文方法的可行性和准确性.数值分析结果表明,本文方法可以实现高精度的P-Δ效应分析,对于质量均匀分布和含有集中质量的结构体系仅需使用一个求积单元即可获得非常精确的动态响应结果.展开更多
文摘In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.
文摘高耸结构P-Δ效应的传统分析方法一般难以考虑时变轴力作用,有可能会低估P-Δ效应对结构安全性的影响.本文应用求积单元法(weak form quadrature element method,QEM),针对分布质量结构体系和含有集中质量的结构体系分别建立Hermite型求积单元模型,发展了一种高耸结构P-Δ效应高阶精确分析方法.该方法能够应用于具有突变质量的结构体系,可处理任意轴向荷载引起的动力P-Δ效应问题,无需迭代计算即可获得高精度的P-Δ效应解答,同时能准确地揭示竖向荷载以及时变轴力对高耸结构特性的影响规律.通过对3个不同类型案例的比较分析,验证了本文方法的可行性和准确性.数值分析结果表明,本文方法可以实现高精度的P-Δ效应分析,对于质量均匀分布和含有集中质量的结构体系仅需使用一个求积单元即可获得非常精确的动态响应结果.
