On Petri net implementation of proactive resilient holistic supply chain networks

JW Wang, WH Ip, RR Muddada, JL Huang… - … International Journal of …, 2013 - Springer
Holistic supply chain network (H-SCN) systems are a set of supply chains that have inter-
dependence relations. Design and management of H-SCN systems are largely ignored in …

Colored Petri nets-based control and experimental validation on three-tank system level control

M Brezovan, RE Precup, D Selişteanu… - International Journal of …, 2023 - Taylor & Francis
An approach to the Colored Petri Nets (CPN)-based control is proposed in this paper. CPN
are used for modeling the dynamics of both the controller and the controlled process in the …

An UML based performance evaluation of real-time systems using timed petri net

T Shailesh, A Nayak, D Prasad - Computers, 2020 - mdpi.com
Performance is a critical non-functional parameter for real-time systems and performance
analysis is an important task making it more challenging for complex real-time systems …

Transforming UML sequence diagram to high level Petri Net

A Alhroob, K Dahal, A Hossain - 2010 2nd International …, 2010 - ieeexplore.ieee.org
This paper presents a new methodology to transform the UML sequence and class diagrams
into High Level Petri Nets (HLPN), this transformation helps the software designers to …

DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems

D Xiang, F Zhao, Y Liu - Mathematics, 2021 - mdpi.com
Petri nets are widely used to model concurrent software systems. Currently, there are many
different kinds of Petri net tools that can analyze system properties such as deadlocks …

Architecture of an SS7 protocol stack on a broadband switch platform using dualistic petri nets

EP Dawis - 2001 IEEE Pacific Rim Conference on …, 2001 - ieeexplore.ieee.org
Process Petri nets are an ideal modeling language for depicting the architecture of computer-
based systems such as a broadband switch platform because: 1) computers are process …

[PDF][PDF] Simulation and modeling of active products cooperation for active security system management

A Zouinkhi, E Bajic, E Rondeau… - … on Systems, Signals …, 2011 - researchgate.net
This article presents an approach of modeling and simulation of the cooperation between
products situated in a bounded space thus forming a system for which security assurance …

基于面向对象Petri 网的业务流程建模方法研究

石国玲, 李一军, 马维忠 - 运筹与管理, 2004 - cqvip.com
基于面向对象Petri网的业务流程建模方法研究-[维普官方网站]-www.cqvip.com-维普网  我的维普
购物车 充值 客服 首页 | 期刊大全 | 文献分类 | 优先出版 | 论文检测 | 论文选题 | 在线分享 | 会议 …

基于有色Petri 网的资源共享多线程数据采集系统

叶许红, 颜钢锋 - 计算机工程, 2002 - cqvip.com
基于有色Petri网的资源共享多线程数据采集系统-[维普官方网站]-www.cqvip.com-维普网  我的
维普 购物车 充值 客服 首页 | 期刊大全 | 文献分类 | 优先出版 | 论文检测 | 论文选题 | 在线分享 …

[PDF][PDF] 一种用于工作流引擎的任务预测与分配算法

钱鹰, 王寸涛, 韦庆杰 - 计算机应用与软件, 2014 - shcas.net
摘要为了检测工作流系统在中短期内是否会出现任务超载的情况, 首先利用灰色预测算法来预测
不同类型任务在预测窗口内的变化趋势, 并根据预测结果建立一种负载均衡偏差可控的整数线性 …