Object-oriented Petri nets and <i>π</i>-calculus-based modeling and analysis of reconfigurable manufacturing systems

Yu, Zhenhua; Guo, Fang; Ouyang, Jun; Zhou, Lijun

doi:10.1177/1687814016677698

Cited by 8 publications

(4 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…43 We have proposed a kind of OPNs. 44 This work revises our previous OPNs definition. OPNs can be given as follows.…”

Section: Opnsmentioning

confidence: 86%

Formal modeling and control of cyber-physical manufacturing systems

Ouyang

et al. 2017

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

Cyber-physical manufacturing systems are a new paradigm of manufacturing systems that integrate cyber systems and physical systems to aid smart manufacturing. Cyber-physical manufacturing systems can improve agility and responsiveness and guarantee the quality of products to meet the market requirements. Meanwhile, cyber-physical manufacturing systems also become susceptible to cyber-attacks. In order to improve the trustworthiness of cyber-physical manufacturing systems in the dynamic modeling phase, a cyber-physical manufacturing system formal model based on objectoriented Petri nets is presented from the perspective of multi-agent systems. Some mathematical methods and supporting tools of Petri nets can be utilized to analyze, verify, and validate cyber-physical manufacturing system formal model. To defense the malicious software spreading in cyber-physical manufacturing systems at run-time, a spreading dynamics model is proposed, and its dynamic behaviors are analyzed. A hybrid bifurcation control method is designed to control the Hopf bifurcation that is caused by the malicious software spreading. The simulation results show that the hybrid bifurcation control method can make cyber-physical manufacturing systems generate the expected dynamic behaviors and guarantee the trustworthiness of cyber-physical manufacturing systems at run-time.

show abstract

“…43 We have proposed a kind of OPNs. 44 This work revises our previous OPNs definition. OPNs can be given as follows.…”

Section: Opnsmentioning

confidence: 86%

Formal modeling and control of cyber-physical manufacturing systems

Ouyang

et al. 2017

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…From the perspective of multiagent systems, a reconfigurable MS formal model (RMSFM) was developed in Reference [12], where two complementary formalisms (object-oriented Petri nets (ORPNs) and π-calculus) were used as formalisms. The ORPN was used to model both the initial structure and system behaviors of RMSs, while π-calculus was used to characterize the reconfiguration of RMSs.…”

Section: Introductionmentioning

confidence: 99%

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

Kaid

Al-Ahmari

et al. 2020

Processes

View full text Add to dashboard Cite

The invention of reconfigurable manufacturing systems (RMSs) has created a challenging problem: how to quickly and effectively modify an RMS to address dynamic changes in a manufacturing system, such as processing failures and rework, machine breakdowns, addition of new machines, addition of new products, removal of old machines, and changes in processing routes induced by the competitive global market. This paper proposes a new model, the intelligent colored token Petri net (ICTPN), to simulate dynamic changes or reconfigurations of a system. The main idea is that intelligent colored tokens denote part types that represent real-time knowledge about changes and status of a system. Thus, dynamic configurations of a system can be effectively modeled. The developed ICTPN can model dynamic changes of a system in a modular manner, resulting in the development of a very compact model. In addition, when configurations appear, only the changed colored token of the part type from the current model has to be modified. Based on the resultant ICTPN model, deadlock-free, conservative, and reversible behavioral properties, among others, are guaranteed. The developed ICTPN model was tested and validated using the GPenSIM tool and compared with existing methods from the literature.

show abstract

“…Hybrid top-down and bottom-up approaches were presented using Petri net models. In [33], object-oriented Petri nets (ORPNs) and π-calculus were used as two complementary formalisms. Initial RMSs structure and system behavior were modeled by ORPN while the π-calculus was used to describe RMSs' reconfiguration.…”

Section: Introductionmentioning

confidence: 99%

Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes

Kaid

Al-Ahmari

et al. 2020

Applied Sciences

View full text Add to dashboard Cite

In reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, adding new machines, etc. In RMSs, sharing of resources may lead to deadlocks, and some operations can therefore remain incomplete. The objective of this article is to develop a novel two-step solution for quick and accurate reconfiguration of supervisory controllers for deadlock control in RMSs with dynamic changes. In the first step, the net rewriting system (NRS) is used to design a reconfigurable Petri net model under dynamic configurations. The obtained model guarantees boundedness behavioral property but may lose the other properties of a Petri net model (i.e., liveness and reversibility). The second step develops an automatic deadlock prevention policy for the reconfigurable Petri net using the siphon control method based on a place invariant to solve the deadlock problem with dynamic structure changes in RMSs and achieve liveness and reversibility behavioral properties for the system. The proposed approach is tested using examples in the literature and the results highlight the ability of the automatic deadlock prevention policy to adapt to RMSs configuration changes.

show abstract

Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems

Cited by 8 publications

References 32 publications

Formal modeling and control of cyber-physical manufacturing systems

Formal modeling and control of cyber-physical manufacturing systems

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes

Contact Info

Product

Resources

About