Filters








47,567 Hits in 3.1 sec

Model Predictive Control of Steel Sheet Processing Lines using Hybrid Petri Net Model

Eiji KONAKA, Tatsuya SUZUKI, Kazuya ASANO, Yoshitsugu IIJIMA
2009 Transactions of the Society of Instrument and Control Engineers  
This paper presents a new modeling and control techniques for the steel sheet processing line based on a Hybrid Petri Nets (HPN) and Mixed Logical Dynamical Systems (MLDS) expressions.  ...  Based on this hybrid system modeling, the closed-loop control can be realized by receding horizon scheme. Numerical examples demonstrate the usefulness of the proposed method.  ...  line Fig.( Petri Net, PN) 16), 17) Fig. 1 1 Fig.1 Fig. 4 4 pc,i ∈ PC = {pc,1, · · · , pc,5} pc,i xc,i Fig. 4 4 HPN model of the processing line i tc,i ∈ TC = {tc,1, · · · , tc,4} Fig.  ... 
doi:10.9746/sicetr.45.562 fatcat:hvsw52x25zaxxftujkoifodwtm

Process vs resource-oriented Petri net modeling of automated manufacturing systems

NaiQi Wu, MengChu Zhou
2010 Asian journal of control  
Since the 1980s, Petri nets (PN) have been widely used to model automated manufacturing systems (AMS) for analysis, performance evaluation, simulation, and control.  ...  They are mostly based on process-oriented modeling methods and thus termed as process-oriented PN (POPN) in this paper.  ...  In modeling AMS by Petri nets, one mainly uses process-oriented modeling method.  ... 
doi:10.1002/asjc.184 fatcat:smmy5wcawzbefnvpmelxxe7mga

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

Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li, Reggie Davidrajuh
2020 Processes  
This paper proposes a new model, the intelligent colored token Petri net (ICTPN), to simulate dynamic changes or reconfigurations of a system.  ...  The developed ICTPN can model dynamic changes of a system in a modular manner, resulting in the development of a very compact model.  ...  Preliminary Definition of Intelligent Colored Token Petri Nets Traditional Petri nets are popularly used to model, simulate, control, and analyze automated manufacturing systems (AMSs).  ... 
doi:10.3390/pr8030358 fatcat:bgcisg4m6va2ddb5fa5ponc5yy

Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net

Yanjun Lu, Yan Qiao, Chunrong Pan, Yufeng Chen, Naiqi Wu, Zhiwu Li, Bin Liu
2021 IEEE Access  
Based on the reachability graph of a Petri net model, an optimal controller can be obtained since it carries the complete behavior information of a net model [Uzam and Zhou 2006; and Liu et al., 2019]  ...  Thus, in the Petri net model, places 3, and 4, are used to model the wafer processing at , i  ℕ + and j  ℕ + , if there is a token in one of them.  ... 
doi:10.1109/access.2021.3077503 fatcat:i25zlxerfnfs7olbcvmdj4qf5m

Modeling of Petri-Net-based control algorithms for the simulation-based improvement of the planning process of building energy systems

Xiaoye Cai, Thomas Schild, Thomas Schreiber, Marc Baranski, Dirk Müller
2019 Journal of Physics, Conference Series  
This method allows structured control development in early stages of the planning process and can be extended by performing simulations, i.e. an algorithm implemented as a Petri-Net.  ...  In this paper, we investigate the integration of this method into the simulation-based planning and an approach to model an algorithm based on Petri-Net.  ...  Petri-Net-based control algorithm To describe the control algorithm, we make use of SIPN as a formalized description method.  ... 
doi:10.1088/1742-6596/1343/1/012123 fatcat:ht6cii4stjap5h7snkx5wq6bjy

Controlling the boundary factor design process model using the Petri net. Self-organization of the design model toward the hierarchy structure
境界因子設計モデルのペトリネットによる制御 設計モデルの階層化に関する研究

Masashi FURUKAWA, Yukinori KAKAZU, Norio OKINO
1991 Journal of the Japan Society for Precision Engineering  
Controlling the Boundary Factor Design Process Model Using the Petri Net Self-organization of the Design Model toward the Hierarchy Structure Masashi FURUKAWA, Yukinori KAKAZU and Norio OKIN0 In order  ...  to build a CAD system, The "Boundary Factor Model (BFM)" as the design model, a method to control a design process based on the use of a Petri net, and the "Object Operation" representation as the representation  ...  Encircled are units found out from the matrix shown in Fig. 9 Fig. 7 7 Fig.7The Petri net corresponding to Fig.6 うな 構 造 に つ い て は 言 及 し て い な い.階 層化 が 実 行 され た と き に は,階 層 化 され た ユ ニ ッ ト内で も ペ ト リ  ... 
doi:10.2493/jjspe.57.699 fatcat:pvt4u2ctdzbkhcu6grnpumebsq

ビジネスプロセスの離散事象モデリングと業務取引ペトリネットによる特性分析(ペトリネットの応用特集号)
Discrete-Event Models of Business Process and Analysis through Business Transaction Petri Net(Special Issue on Applications of Petri Nets)

Ryo SATO
2001 Systems, Control and Information  
, business transaction system , business transaction Petri net , max − plus algebra .  ...  net で あ る .  ... 
doi:10.11509/isciesci.45.8_470 fatcat:pjfcr2ie6bhvzoxqetdlc3nvii

Controlling Petri Net Process Models [chapter]

Jörg Desel
Lecture Notes in Computer Science  
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services.  ...  Control has the aim to force a process to behave in a desirable way. Process models that behave properly without any control are often called "sound".  ...  This other Petri net influences the behavior of the process model in such a way that the process behaves properly. In this sense, the process model is controlled by the environment.  ... 
doi:10.1007/978-3-540-79230-7_2 dblp:conf/wsfm/Desel07 fatcat:6sp3teucgvbrpjfijzciisqsii

Modeling of Petri-Net-based control algorithms for the simulation-based improvement of the planning process of building energy systems

Xiaoye Cai, Thomas Peter Schild, Thomas Bruno Schreiber, Marc Baranski, Dirk Müller
2019
This method allows structured control development in early stages of the planning process and can be extended by performing simulations, i.e. an algorithm implemented as a Petri-Net.  ...  In this paper, we investigate the integration of this method into the simulation-based planning and an approach to model an algorithm based on Petri-Net.  ...  Petri-Net-based control algorithm To describe the control algorithm, we make use of SIPN as a formalized description method.  ... 
doi:10.18154/rwth-2019-08622 fatcat:zn72y75whbajhosghesqihqwsm

The modeling and simulation of intelligence information process of command and control system based on IDEF and Petri nets

Xianglin Tan, Fuqi Qu, Jianhua Tu
2016 Proceedings of the 2016 2nd Workshop on Advanced Research and Technology in Industry Applications   unpublished
On the basis of analysis of digital division intelligence information process of activities, combined with the IDEF methodology and intelligence information process model established by Petri nets, evidenced  ...  by the model simulation run results: the model can more really describe the intelligence activities process and can effectively analyze the rationality and feasibility of command work organization.  ...  The simulation of intelligence information process based on Petri nets Because of IDEF cannot describe dynamic characteristic of the system, and then we introduce Petri nets.  ... 
doi:10.2991/wartia-16.2016.98 fatcat:6i6tje55lvfdlirzcnxgxq3dam

Distributed Collaborative Simulation Control Model Based on Pertri Net

2016 Revista Técnica de la Facultad de Ingeniería Universidad del Zulia  
and the matrix model of Petri nets.  ...  In aerospace product overall design element model calls for example, illustrates the effectiveness of the collaborative design process dynamic control.  ...  Based on OPN theory, it defines the whole process of co-simulation process control network model, formally defined and described Petri control model complex product simulation process, call transition  ... 
doi:10.21311/001.39.3.35 fatcat:tkhm4xtqezh4zblobi5l3rywqe

Modelling and Simulation for Production Logistics System in Industrial Enterprises Based on Hybrid Network

N. Xiao, C. D. Ni, S. J. Guo
2017 International Journal of Simulation Modelling  
net and controlled Petri net.  ...  This paper made simulation calculation with Java language and studied the modelling object through an industrial DFM solvent recovery process, which has revealed that this model is suitable for the modelling  ...  Paper [5] combines speed controlled Petri net and controlled timed Petri net to establish the hybrid controlled Petri net model and applies it to the industrial evaporation process. Zhao et al.  ... 
doi:10.2507/ijsimm16(1)co3 fatcat:72vhdtncwvdndi4jt457f7gbje

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Xinhua Chen, Ya-ni Sun
2016 International Journal of Online Engineering (iJOE)  
This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method.  ...  This paper improve the object-oriented Petri net modeling method, and study the modeling and operation steps in details.  ...  Object-Oriented Petri Net Modeling Steps The process is roughly divided into the following six steps: (1) Build the hierarchical model.  ... 
doi:10.3991/ijoe.v12i02.5039 fatcat:mypjmwnlgvaeblkylmj4ahxtbm

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings [chapter]

Roland Meyer, Victor Khomenko, Tim Strazny
2008 Lecture Notes in Computer Science  
FCPs to Safe Nets Model Checking with Net Unfoldings Finite Control Processes Towards the Boundedness Result Orbits The Boundedness Result Finite Control Processes Problem Petri net translation may be  ...  nets A Boundedness Result for FCP nets From FCPs to Safe Nets Model Checking with Net Unfoldings Finite Control Processes Towards the Boundedness Result Orbits The Boundedness Result Finite Control Processes  ... 
doi:10.1007/978-3-540-68746-7_22 fatcat:dbjthyzhkva5roodtftmh3i4ly

Petri Net Based Supervisory Control of Flexible Batch Plants

G. Mušič, D. Matko
1998 IFAC Proceedings Volumes  
A straightforward approach of translating developed Petri net models to industrial implementation by sequential function charts is presented.  ...  The paper utilises the Petri net based supervisory control framework to develop appropriate solutions.  ...  Fig. 1 . 1 Part of a batch process cell Fig. 2 . 2 Petri net model concept enables much greater flexibility in modelling individual units and better suits the distributed system architecture.  ... 
doi:10.1016/s1474-6670(17)41919-7 fatcat:7tbl4rblxfgftodkqa6n5hkn2i
« Previous Showing results 1 — 15 out of 47,567 results