Abstract
Keywords
Introduction
Market competition is becoming increasingly fierce with the need to accommodate diversity and individual orientations. This requires production technologies to focus on small and medium size and to turn to part/product families of increasing variety. 1 Manufacturers have to improve product quality and production efficiency while reducing production costs,2,3 but traditional centralized production systems are not agile or flexible enough to satisfy the personalized requirements of the modern market. 4 Moreover, their construction always runs the risk of huge investments and long lead times. Once the system is installed and operational, changes are often complex and difficult. Worse yet, in centralized hierarchical organizations, the whole system may shut down with a single failure at a single point. 1
As a result, research is looking closely at plug-and-play decentralized flexible manufacturing systems (FMS). They are more adaptive for multi-type and small-quantity production and provide low-cost, high quality, and diversified products through their adaption, agility, and modularization. Multi-agent manufacturing systems (MAS) and holonic manufacturing systems (HMS) are examples of a distributed FMS. But as Marik and McFarlane 5 have noted, most MAS and HMS research has focused on theory. The adaptivity and quick response of a distributed FMS depend on the efficiency of direct real-time information collection. 6 Such kinds of FMS are not generally because of the difficulty acquiring real-time manufacturing process information reliably and automatically identifying manufacturing resources.
With the development of Internet of Things (IoT) technology, especially the growth of radio-frequency identification (RFID) technology and its applications in manufacturing systems, there are increasingly reliable methods to collect information and identify resources automatically in real time. The distributed FMS based on IoT technology has become an important research trend. 7 In an RFID-enabled manufacturing system, a tag is attached to every product/part which contains its basic information (e.g. unique ID, name, state). The RFID reader is able to read and/or write the data in the tag when the tag is in the readable range of the reader. 8 Thus, the product and process data can be collected, transferred, treated, and stored in systems. A great deal of research has considered the use of RFID technology for manufacturing systems. McFarlane et al. 9 applied it to enhance intelligent control in an experimental assembly line. Qiu 10 proposed an RFID-based framework for integrating an automated production control system and a management information system in a factory. Chen et al. 11 proposed an enterprise application integration framework based on RFID and agent technologies. Zhang et al. 12 built an ubiquitous manufacturing environment using an RFID-enabled gateway technology, in which RFID technology enables real-time traceability, visibility, and interoperability to improve the performance of shop floor planning, execution, and control. Huang et al. 13 proposed a reactive, model-based approach to monitor important elements by estimating their most likely states according to RFID information and a constraint-based model. Liu et al. 14 proposed a multi-agent real-time production management and control system for a Loncin motorcycle assembly line, integrated with an RFID-enabled real-time data capture system. The results showed productivity and quality improved. Zhong et al. 15 presented an RFID-enabled real-time manufacturing execution system (RT-MES), in which RFID devices are deployed systematically on the shop floor to track and trace manufacturing objects and collect real-time production data. Zhang et al. 16 presented a multi-agent-based real-time production scheduling method for an RFID-enabled ubiquitous shop floor environment, with RFID deployed at value-adding points to form a machine agent for the collection and processing of real-time shop floor data. Wang et al. 17 proposed a hybrid-data-on-tag-enabled decentralized control system for flexible smart workpiece manufacturing shop floors. Zhong et al. 18 suggested a visualization approach for RFID-enabled shop floor logistics big data from cloud manufacturing. Using an innovative RFID-cuboid model to reconstruct the RFID raw data given the production logic and time series. The literature surveyed by these authors indicates the need to employ RFID technology in a manufacturing control system. In most work, by introducing an RFID system, a physical product/part becomes a recognizable object, real-time shop floor data can be collected, production status can be analyzed, and production performance can be enhanced.
RFID, programmable logic controller (PLC), industrial personal computer (IPC), and so on can provide the hardware basis for the memory ability of manufacturing resources, but these manufacturing resources do not have an independent logical reasoning ability, largely because of the inability of the modeling approach to handle logic control of resources. The decentralized FMS is a typical high synchronous and complex system in which different resources affect each other in a specific manufacturing environment. To accomplish decentralized intelligent control of a decentralized FMS, resources must have state memory and logic reasoning abilities. More specifically, each manufacturing resource should be a cyber-physical intelligent entity. A cyber-physical resource is one that integrates its hardware function with a cyber-representation acting as a virtual representation for the physical part. 19 Using modeling technologies to incorporate the behavior logic and real-time status of the manufacturing resources is an efficient approach to complete automatic identification and intelligent control.
Many methods have been used to model discrete-event dynamic systems (DEDS), that is, IDEF, activity network diagram, unified modeling language, but they cannot efficiently model and validate manufacturing systems. 20 Model methodologies for manufacturing systems should have a modeling formalism that capture characteristics inherent to manufacturing systems such as concurrency, deadlocks, conflicts, resource sharing. The methodologies should be able to validate the behavioral specifications and analyze the system performance.
The Petri Nets (PN) and its extensions, that is, colored Petri Net (CPN), timed Petri Net (TPN), are based on well-founded mathematical theory and have very good capacity to formally and graphically model, analyze, and validate concurrency, synchronization, resource sharing, and mutual exclusion, and even can be used to memorize, monitor, and supervise manufacturing processes. The PN can not only describe and analyze concurrence and conflict of resources, but also record the status of the system dynamically by tokens (marks in places), making it a common choice in structural modeling, dynamic analysis, and process control for manufacturing systems. The traditional major application of PN in manufacturing system is in modeling and analysis, with a great deal of research available.21–23 The PN is also used in process control and monitoring.
In 1998, Feldmann and Colombo 24 developed a CPN-based control method of material flow. Then in 1999, Feldmann and Colombo 25 focused on the development and implementation of feature- and model-based monitoring methods using high-level PN specifications of flexible production systems and embedded discrete-event controllers. Leitão and Colombo 20 proposed a methodology for the development of collaborative production systems, using high-level PN. Mendes et al. 26 described a solution for the control of service-oriented devices based on modular and specially adapted high-level PN process descriptions of intra- and inter-control activities. Tavares et al. 27 developed a PN-based work-flow modeling and control method and applied this method to logistics and manufacturing process control by combining it with an RFID system. Chen 28 developed a CPN-based FMS cell controller. Mendes et al. 29 introduced an integrated approach to the design, analysis, validation, simulation, and process execution of service-oriented manufacturing systems, using high-level PN formalism to describe the system behavior. Huang et al. 30 studied the traceability issue in cyber-physical manufacturing systems from a theoretical viewpoint. They generalized PN models to formulate dynamic manufacturing processes; based on this formulation, they outlined a detailed approach to traceability analysis. Quintanilla et al. 31 offered a PN-based methodology to increase planning flexibility in service-oriented HMS.
This article proposes an extended PN-based modeling approach to manufacturing resource perception and process control for RFID-based FMS. It shows manufacturing resource perception and process control can be realized using RFID systems. The rest of this article is organized as follows. Section “Process analysis and resource classification of manufacturing systems” explains the process analysis and resource classification of manufacturing systems. Section “Manufacturing resource modeling” elaborates on manufacturing resource modeling. Section “Resource perception and process control during manufacturing process” gives the key steps of resource perception and process control during manufacturing process. Section “Experimental system implementation” describes the experimental system implementation. Conclusions and suggestions for future research are presented in section “Conclusion and future research.”
Process analysis and resource classification of manufacturing systems
Process analysis of manufacturing systems
A manufacturing system is a transition system that converts raw material resources into the customers’ required products using equipment resources (machining equipment, transport equipment, storage equipment, and so on). In a manufacturing system, each manufacturing resource carries out the corresponding activities of machining, transport, storage, and so on in accordance with the specific processing technology and manufacturing environment.
Figure 1 gives the simple manufacturing system with seven buffers (storage equipment: B1, M1_BI, M1_BO, B2, M2_BI, M2_BO, and B3), two machines (machining equipment: M1 and M2), three transporters (AGV1, ROB1, and AGV2), and several workpieces (J1, J2, etc.). To more easily express the proposed approach, the remainder of the article is based on this scenario.

A simple manufacturing process.
Classification of manufacturing resources
Generalized manufacturing resources refer to the software and hardware used in the overall product manufacturing cycle including equipment, workers, materials, technology, and so on. 32 In this article, only four kinds of resources are considered: machining equipment, transport equipment, storage equipment, and workpieces (materials). They are further divided into active and passive resources. Active resources have their own status memory and can make intelligent decisions based on the active perception of the manufacturing environment. They include machining equipment and transport equipment. Passive resources cannot recognize the manufacturing environment actively, but they have their own status memory and can be recognized by active resources. They include workpieces and storage equipment.
To enable active perception and logical reasoning, each active resource has a terminal controller and an RFID reader. The resource state and behavior logic model based on extended PN are stored in the terminal controller; thus, active resources will have state memory and logic reasoning. Each passive resource is given an RFID tag; its state and behavior logic model of extended PN are stored in the tag as XML schema. When the resources begin to communicate, the active resources sense and identify the passive resources using the RFID readers. The active resources acquire the status of passive resources by analyzing the PN models; they decide the next steps by combining their own status and behavior logic with the status of the passive resources. In this way, the automatic perception and process control of manufacturing resources can be accomplished.
Manufacturing resource modeling
To accomplish the perception and logical control of manufacturing resources, these resources must memorize and realize their own status and behavior logic. This means the designer of the system should plant behavior logic and real-time status in them using modeling technologies. In this article, based on the requirements of all kinds of manufacturing resources, the models are built by extending the definition of basic PN and CPN.
Basic concepts of PN and CPN
PN was originally developed by CA Petri 33 in his PhD dissertation in 1962. Since then, the PN has been extended and developed; it is now widely used in modeling, simulating, scheduling, controlling, and monitoring DEDS with asynchrony, synchronicity, and competitive characters.
An ordinary PN is a collection of directed arcs connecting places and transitions. Places may hold tokens. The state or marking of a net is its assignment of tokens to places. In the manufacturing system field, places are often used to represent the status of resources; a token’s presence indicates whether a resource is available, a process is under way, or a condition is true. Transitions are used to model events. Directed arcs are used to represent the causal relations between place and transition.
The modeling of the simultaneous execution of several instances of the same component (e.g. a type of product) is easily modeled by an ordinary PN. However, the modeling of the simultaneous execution of several instances of different components (e.g. different types of products) is complex using an ordinary PN, since it requires the usage of as many PN models as the number of available components (e.g. different types). A CPN can overcome this. A CPN is a backward compatible extension of a PN. CPNs preserve useful properties of PNs and, at the same time, extend initial formalism to allow the distinction between tokens. 34 A CPN allows tokens to have data value attached to them. This attached data value is called the token color. Although the color can be arbitrarily complex type, places in CPNs usually contain tokens of one type. This type is called the colorset of the place. More detailed definition and examples can be found in the literature.21,22
PN-based workpiece modeling
Workpieces are manufacturing system objects. They are materials at first and become products (or parts) gradually through a series of operations (including machining, inspection, handling, storage, and so on). The modeling of the workpiece must express all activities and their logical relationship, related information of external resources, the key parameters, and the results of operations in the manufacturing system. The model should also be able to reflect the real-time status of products. In our approach, each kind of workpiece has a PN model based on its manufacturing process. For example, Figure 2 shows the PN model of workpiece J1 according to the manufacturing process shown in Figure 1. Transitions denote the operations (including machining, transport, testing, and so on.). Every transition is assigned one or more pieces of the machining or transport equipment. This equipment is the set of equipment required to perform the operation. Places denote the storage equipment (e.g. buffers) during the manufacturing process. Each place corresponds to one or more pieces of storage equipment. This equipment is the set of equipment required to store the workpiece.

Modeling of workpiece J1.
Tokens in place show the state of the workpiece. The directed arcs show the relationship between places and transitions; every directed arc has a function, that is, denoting whether the calculated value is true or false. The calculated value is the condition of whether the directed arc is connected or not; when the value is true, the directed arc is connected. If the directed arc has no function, the directed arc is connected by default. A detailed description of every element in Figure 2 appears in Table 1.
Elements of workpiece model in Figure 2.
As illustrated in Figure 3, to show the complete state of a workpiece, a workpiece model based on PN should give the total information of the workpiece, including machining equipment, transport equipment, storage equipment, starting and ending time of each activity, the key technical standard, the record of quality inspection, and so on.

Information contained in a workpiece model.
CPN-based equipment resource model
Machining equipment, transport equipment, and storage equipment are the important resources during the production process. In a FMS, a single piece of equipment can be used for a variety of products. Thus, as the types of workpieces increase, the FMS becomes more and more complicated, and a PN-based model becomes difficult to build. A CPN can overcome the problem better than a PN.
Model of machining equipment
Machining equipment is the most important resource to complete the workpieces. This article assumes the equipment can get the workpiece from the input buffer and release it to the output buffer. Thus, machining processing includes three stages: (1) getting a workpiece from the input buffer and clamping, (2) machining, and (3) releasing the workpiece to the output buffer.
In Figure 4, the CPN-based machining equipment model includes three colorsets: M is the equipment colorset, denoting the type of equipment; J is the workpiece colorset, denoting the type of workpiece; and P is the process colorset, denoting the type of process. The model also defines three variables.

Model of machining equipment.
Model of transport equipment
Transport equipment is used to move workpieces from one place to another. Transport equipment has the capability of active perception and logical thinking; it can perceive the arrival of the workpiece which must be transported and determine the transport path according to the status of the workpiece. There are four steps in the transport process: (1) getting the workpiece, (2) transporting, (3) releasing the workpiece, and (4) resetting.
The CPN-based transport equipment model shown in Figure 5 includes three colorsets: T is the equipment colorset, denoting the type of equipment; J is the workpiece colorset, denoting the type of workpiece; and Pa is the transport path colorset, denoting the path of transport. The model also defines three variables:

Model of transport equipment.
Model of storage equipment
Storage equipment refers to space or containers used to store workpieces. Storage equipment is a passive resource providing storage space information to active resources. In Figure 6, the CPN-based storage equipment model has one colorset, J, denoting the type of workpiece. The model also defines one workpiece variable,

Model of storage equipment.
Resource perception and process control during manufacturing process
The manufacturing process is the process by which the different manufacturing resources interact. Target products are produced through a series of interactive activities, including machining, transport, storage, and so on. In the distributed system, the efficiency of the whole system depends on the perception and interaction efficiency of the various resources. In our proposed model, the method of resource perception and process control in production initialization, material transport, and workpiece machining is added to the manufacturing process as shown in Figure 1.
Initialization
At the stage of production initialization, the type of product is determined by the production plan. We begin by letting J1 denote the product type. Next, the ID of workpiece (#J1011) is generated automatically by the system, and the processing path of the workpiece is downloaded from the process database. The PN-based model of workpiece is built according to its manufacturing process, and the ID, PN-based model, and initial status of the workpiece are written into the RFID tag. Finally, the workpiece is put in the initial buffer (B1) and the state of B1 is updated.
Transport
The interactive process of transporting a workpiece from an initial buffer to an input buffer of M1 is shown in Figure 7. The detailed interactive steps are as follows:

Interaction diagram of workpiece transport.
Machining
When the M1 perceives workpiece #J1011 has arrived at M1_BI, M1 checks its own state using its own CPN model. If its state is not in the ready condition, the workpiece will wait in M1_BI; otherwise, the machining operation is carried out using the following steps:
Experimental system implementation
To verify the availability and feasibility of the proposed method, we next build an experimental system. As shown in Figure 8, the experimental system contains two robots, two AGVs, one buffer, two machines. We opt for a high-frequency, non-source, and passive RFID system; the reasons for choosing this RFID system include its large memory capacity and the ease of controlling the identified area. In this system, every active resource (machines or transporters) is equipped with a terminal control computer connected to a RFID reader to read or write information from the tag attached to a passive resource. Every passive resource has an RFID tag. As shown in Figure 8, the process has seven steps, arranged according to the logical sequence of activities and involved operators. The steps are as follows:

The experimental system and its implementation.
Perception-decision-execution-perception closed-loop control is realized in the operation of the experimental system. Places map with a kind of control signal, knowledge data and state information; they are connected with corresponding PLC blocks, data elements in databases, or document directories. Their tokens are the values in the PLC blocks, datum in the databases or documents in the directories. Once the places of tokens are changed and their subsequent transitions are checked, if their fire condition is satisfied, they will be fired. Then, the tokens will changed in their subsequent place according to the execution results, and the corresponding values of the PLC blocks, datum in the databases or documents in the directories will be changed—the cycle continues until no transition can be fired.
In the manufacturing system development phase, the suggested approach improves efficiency while reducing cost and time. The development of a manufacturing system requires three steps: (1) modeling each kind of resource, (2) simulating, validating and modifying the models until they are approved, and (3) connecting with hardware if the models are approved. In other words, the manufacturing system can be validated before its implementation.
In the manufacturing system operation phase, the approach improves flexibility and reconfigurability. When the system needs to introduce a new resource belonging to an existing resource class, it only requires the instantiation of one more object and the addition of a new token in the corresponding PN model. The introduction of a new resource not belonging to an existing resource class requires the development of a new PN model that represents its dynamic behavior. The remotion of a resource only requires the remotion of the token associated with the resource in the corresponding models. The modification of the resource requires the modification of the PN model and its parameters and probably the modification of the associated models.
But there are two main limitations of the approach when it is applied to real industries. The first one is the memory capability of the RFID tag and the tag cannot store the whole needed information. In the experimental system, only the essential information is stored in tags. The second one is the real-time control capability. In the experimental system, only the unreal-time and on–off controls are mapped to the places of CPN models and the real-time control processes are mapped to specific PLC code blocks.
Conclusion and future research
The rapid diversification of global markets is changing traditional production modes, with distributed FMS becoming increasingly popular. RFID technology is accelerating this trend, as its applications in manufacturing systems have the potential to benefit the building of distributed and real-time factories. This article presents an extended PN-based modeling approach to manufacturing resource perception and process control for an RFID-based FMS. In the proposed approach, the real-time state and behavior logic models of manufacturing resources are built using extended PNs based on their classification. These models are integrated with the RFID system and manufacturing physical resources. In this way, the traditional manufacturing resources become smart objects with “brains”; they can “perceive,”“think,” and “control themselves” according to their attached real-time state and behavior logic models. Future research will apply the approach to more complex manufacturing systems; a specific goal is to find an exception-handling mechanism.
