A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Model Predictive Control of Steel Sheet Processing Lines using Hybrid Petri Net Model
2009
Transactions of the Society of Instrument and Control Engineers
Preserved Fulltext
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
2010
Asian journal of control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Processes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Physics, Conference Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
境界因子設計モデルのペトリネットによる制御 設計モデルの階層化に関する研究
1991
Journal of the Japan Society for Precision Engineering
境界因子設計モデルのペトリネットによる制御 設計モデルの階層化に関する研究
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2001
Systems, Control and Information
Discrete-Event Models of Business Process and Analysis through Business Transaction Petri Net(Special Issue on Applications of Petri Nets)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
， 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]
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 2016 2nd Workshop on Advanced Research and Technology in Industry Applications
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Simulation Modelling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Online Engineering (iJOE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1998
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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