Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs. For real-world systems such as manufacturing systems, transportation systems, and communication protocols, a coloured timed Petri net (CTPN) is proposed to model timed behaviours. To control a discrete event system with a desired control specification, it is important to describe the control specification formally. For the CPN, a class of specification called coloured generalized mutual exclusion constraints (cGMEC) is utilized to specify the behaviours. However, cGMEC can only represent safety constraints and not temporal constraints. Therefore, in this paper, we propose a novel temporal logic based constraint called a coloured generalized mutual exclusion temporal constraint (cGMETC). The cGMETC is described by a signal temporal logic (STL) formula where each atomic predicate represents a cGMEC. We propose a method for optimal control of the CTPN under a given cGMETC. In particular, we formulate an optimal control problem and solve the problem by transforming it into an integer linear programming problem. Through a simulation of an optimal control problem of a manufacturing system, we demonstrate the effectiveness of the proposed approach.INDEX TERMS Petri nets, coloured timed Petri nets, temporal logic, generalized mutual exclusion constraints, integer linear programming. I. INTRODUCTIONA Petri net is an appropriate tool for modelling of discrete event systems [1], [2]. In particular, it has been applied to resource allocation problems including scheduling in manufacturing systems because it provides representation of systems with a large state space [3], [4], [5]. For real-world systems, however, the size of the systems increases, and the systems contain structures that are similar but not exactly the same. To model such systems, a coloured Petri net (CPN), which is an extension of Petri nets, has been studied [6], [7]. The CPN has colour sets that are associated with places, transitions and I/O arcs, and it provides a more compact representation for complex and large systems than ordinary Petri nets. There have been many studies utilizing the CPN,The associate editor coordinating the review of this manuscript and approving it for publication was Zhiwu Li .

show abstract

“…Thus, we have z G 0 (p 1 , a 1 ) = 0 and zG 0 (p 1 , a 1 ) = 1. Therefore, z G 0 = 0 from (34) and (35).…”

Section: B Encoding the Binary Variables Z G τmentioning

confidence: 99%

“…The supervisory control problem with the GMEC was considered in [31], [32], [33], and [34]. Hu proposed a computationally efficient way to design the supervisor of the CPN under cGMEC [35].…”

mentioning

confidence: 99%

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

Fujita

Ushio

2022

IEEE Access

View full text Add to dashboard Cite

show abstract

“…The model integrates concurrency, real-time constraints and probabilities. Petri nets have been successfully used for the study of real-time scheduling problems [8] and for the design of automated manufacturing systems, both in their simple and high-level form [9]. The remainder of the paper is organised as follows.…”

Section: Introductionmentioning

confidence: 99%

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles

Emzivat

Ibañez‐Guzmán

Illy

et al. 2018

2018 21st International Conference on Intelligent Transportation Systems (ITSC)

View full text Add to dashboard Cite

The deployment of autonomous vehicles is contingent on trust in their ability to operate safely. However, the assurance that they can accommodate failures and changing weather conditions to maintain limited functionality requires the development of rigorous design and analysis tools. This paper presents a formal approach for the design of multisensor data fusion systems that support adaptive graceful degradation through the smart use of sensor modalities. A coloured probabilistic time Petri net is used to model known algorithms in a multi-sensor fusion scheme. The specification of safety requirements in terms of confidence levels conditions the outcome of the reachability analysis. The characteristics of a credible solution are then provided to the embedded safety module as support for online reconfiguration and decision making tasks. The validity of the approach is illustrated through an example outlining the capabilities of currently available perception systems, for the purpose of deploying autonomous vehicles on public roads.

show abstract

“…A factor is more important than another factor 0.8 A factor is much more important than another factor 0.9 A factor is extremely more important than another factor 0.1, 0.2, 0.3, 0. 4 Contrary where E is a fuzzy complementary matrix and the matrix expresses the relative importance of each factor to the upper layer in each hierarchy; is 0.1-0.9 in the matrix usually. If the factor is as important as the factor , = 0.5; if the factor is more important than the factor , then ∈ (0.5, 0.9]; if the factor is less important than the factor , then ∈ [0.1, 0.5).…”

Section: Mathematical Problems In Engineeringmentioning

confidence: 99%

“…At present, Petri net and its expansion method have become powerful tools to study the discrete event dynamic system and especially have made remarkable achievements in stability modeling and analysis of the manufacturing system [2][3][4]. But these methods neither have self-state changes caused by uncertain factors such as stress load, processing environment, artificial use conditions, and maintenance conditions during the service of the manufacturing system nor provide accurate, comprehensive, and quantitative analysis and evaluation of these influencing factors.…”

Section: Introductionmentioning

confidence: 99%

An Evaluation Method for Brittle Source of the Key Procedure in Complex Parts’ Manufacturing

Xiang

2018

Mathematical Problems in Engineering

View full text Add to dashboard Cite

A method is proposed to analyze and evaluate brittle source of the key procedure in increasing the stability during complex parts' manufacturing. Based on the concept of machining cell, brittleness risk is introduced into the stability analysis of manufacturing process; the key procedure in manufacturing process is obtained by analyzing and calculating the brittleness risk entropy of each machining cell. Moreover, brittleness factors of the key process are analyzed to obtain a human-machine-environment brittleness model from man-machine-environment. The improved fuzzy analytic hierarchy process (FAHP) is used to analyze the relationship between the brittleness factor and the brittleness event, and a quantification method of the brittle factor in the key process is given. Thus, dangerous brittle sources in key procedure as well as abnormal control points for anomalies can be identified to improve the stability of complex parts' manufacturing processes. Finally, the correctness and effectiveness of this method are verified by using the manufacturing process of an aeroengine blade.

show abstract

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

Cited by 5 publications

References 9 publications

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles

An Evaluation Method for Brittle Source of the Key Procedure in Complex Parts’ Manufacturing

Contact Info

Product

Resources

About