On the public citation graph

Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach

https://doi.org/10.1142/3376#t=toc
0 signed · 501 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.5281/zenodo.1076929openalex-extracted
Application Of Generalized Stochastic Petri Nets(Gspn) In Modeling And Evaluating A Resource Sharing Flexible Manufacturing System
inferred← citeshttps://doi.org/10.1002/047134608x.w7111openalex-snapshot
Petri Nets and Their Applications
inferred← citeshttps://doi.org/10.1002/047172288x.ch7openalex-snapshot
Heterogeneous Modeling and Design of Control Systems
inferred← citeshttps://doi.org/10.1002/9781118554609.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1002/9781119036821.ch12openalex-snapshot
A Complex Adaptive System of Systems Approach to Human–Automation Interaction in Smart Grid
inferred← citeshttps://doi.org/10.1002/9781119036821.ch17openalex-snapshot
A Petri Net Solution to Protocol‐Level Mismatches in Service Composition
inferred← citeshttps://doi.org/10.1002/9781119036821.ch9openalex-snapshot
Design, Simulation, and Dynamic Control of Large‐Scale Manufacturing Process with Different forms of Uncertainties
inferred← citeshttps://doi.org/10.1002/asjc.1031openalex-snapshot
Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis
inferred← citeshttps://doi.org/10.1002/asjc.1583openalex-snapshot
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs
inferred← citeshttps://doi.org/10.1002/asjc.182openalex-snapshot
Design of liveness‐enforcing supervisors via transforming plant petri net models of FMS
inferred← citeshttps://doi.org/10.1002/asjc.183openalex-snapshot
Colored timed Petri nets for modeling and analysis of cluser tools
inferred← citeshttps://doi.org/10.1002/asjc.184openalex-snapshot
Process vs resource‐oriented Petri net modeling of automated manufacturing systems
inferred← citeshttps://doi.org/10.1002/asjc.185openalex-snapshot
A petri nets‐based process planning system for wastewater treatment
inferred← citeshttps://doi.org/10.1002/asjc.1856openalex-snapshot
Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource
inferred← citeshttps://doi.org/10.1002/asjc.189openalex-snapshot
A deadlock prevention approach for a class of timed Petri nets using elementary siphons
inferred← citeshttps://doi.org/10.1002/asjc.215openalex-snapshot
Special issue on “Petri Nets for system control and automation”
inferred← citeshttps://doi.org/10.1002/asjc.216openalex-snapshot
An optimal maintenance policy based on generalized stochastic Petri nets and periodic inspection
inferred← citeshttps://doi.org/10.1002/asjc.837openalex-snapshot
Design of a Maximally Permissive Liveness‐enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/0-8176-4488-1_2openalex-snapshot
An Introduction to Petri Nets
inferred← citeshttps://doi.org/10.1007/1-84628-334-5_6openalex-snapshot
Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-4419-7997-1_51openalex-snapshot
Job Shop Scheduling with Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_5openalex-snapshot
STCT: An Efficient Algorithm for Supervisory Control Design
inferred← citeshttps://doi.org/10.1007/978-3-030-20343-6_9openalex-snapshot
Scenarios in the Design of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-45139-4_4openalex-snapshot
A Framework for Innovation
inferred← citeshttps://doi.org/10.1007/978-3-030-48587-0_12openalex-snapshot
Discrete Optimization in the Industrial Computer Science
inferred← citeshttps://doi.org/10.1007/978-3-030-50936-1_27openalex-snapshot
Petri Networks for Mechanized Longwall System Simulation
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_16openalex-snapshot
Discovering Stochastic Process Models by Reduction and Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-030-81799-2_3openalex-snapshot
Product Representation for Disassembly Sequence Planning
inferred← citeshttps://doi.org/10.1007/978-3-031-15632-8_15openalex-snapshot
PRME Principle Three, 15 Years Later: How Exponential Technologies Can Enhance the Quality of Impactful and Meaningful Business Education
inferred← citeshttps://doi.org/10.1007/978-3-319-06428-4_3openalex-snapshot
Augmented Marked Graphs
inferred← citeshttps://doi.org/10.1007/978-3-319-06428-4_8openalex-snapshot
Manufacturing System Integration
inferred← citeshttps://doi.org/10.1007/978-3-319-49148-6_7openalex-snapshot
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-53321-6_3openalex-snapshot
Modeling Discrete Event Systems Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-53435-0_6openalex-snapshot
Time Series Petri Net Models
inferred← citeshttps://doi.org/10.1007/978-3-319-54042-9_1openalex-snapshot
Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control
inferred← citeshttps://doi.org/10.1007/978-3-319-66999-1_7openalex-snapshot
Feedback and Control II: Modern Methodologies
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_21openalex-snapshot
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
inferred← citeshttps://doi.org/10.1007/978-3-540-71988-5_9openalex-snapshot
A Petri Net Approach to Persistence Analysis in Chemical Reaction Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-75292-9_25openalex-snapshot
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-12052-7_6openalex-snapshot
Manufacturing System Modeling Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-16138-4_8openalex-snapshot
Markov Decision Processes from Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-21292-5_5openalex-snapshot
Towards IT Systems Capable of Managing Their Health
inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_8openalex-snapshot
Asynchronous Abstract Machines: Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-37798-3_30openalex-snapshot
Relationship between Petri Nets and Cellular Automata for the Analysis of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-981-13-9267-2_22openalex-snapshot
Synchronized Relay Races as the Basic Model of Complex Machinery Production
inferred← citeshttps://doi.org/10.1007/s00170-003-1722-yopenalex-snapshot
An improved evaluation of ladder logic diagrams and Petri nets for the sequence controller design in manufacturing systems
inferred← citeshttps://doi.org/10.1007/s00170-003-1799-3openalex-snapshot
A practical scheduling method based on workflow management technology
inferred← citeshttps://doi.org/10.1007/s00170-006-0640-1openalex-snapshot
Applications of Petri nets in production scheduling: a review
inferred← citeshttps://doi.org/10.1007/s00170-007-0975-2openalex-snapshot
A P-invariant-based algorithm for simple assembly line balancing problem of type-1
inferred← citeshttps://doi.org/10.1007/s00170-007-1319-yopenalex-snapshot
A resource decoupling approach for deadlock prevention in FMS
inferred← citeshttps://doi.org/10.1007/s00170-009-1960-8openalex-snapshot
Behavioral and performance analysis of feeding system using stochastic reward nets
inferred← citeshttps://doi.org/10.1007/s00170-009-2022-yopenalex-snapshot
Component-based design for job-shop scheduling systems
inferred← citeshttps://doi.org/10.1007/s00170-011-3245-2openalex-snapshot
A modular command filtering approach to coordination of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1007/s00170-011-3689-4openalex-snapshot
A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system
inferred← citeshttps://doi.org/10.1007/s00291-006-0046-3openalex-snapshot
Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
inferred← citeshttps://doi.org/10.1007/s10626-017-0251-zopenalex-snapshot
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
inferred← citeshttps://doi.org/10.1007/s12008-013-0202-3openalex-snapshot
Structured design of flexibly automated manufacturing cells through semantic models and petri nets in a virtual reality environment
inferred← citeshttps://doi.org/10.1007/s40684-020-00214-6openalex-snapshot
Model-Based Human Robot Collaboration System for Small Batch Assembly with a Virtual Fence
inferred← citeshttps://doi.org/10.1016/b978-0-12-800887-4.00011-0openalex-snapshot
Performances evaluation and Petri nets
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.09.001openalex-snapshot
Half a century after Carl Adam Petri’s Ph.D. thesis: A perspective on the field
inferred← citeshttps://doi.org/10.1016/j.asoc.2017.01.045openalex-snapshot
Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2013.07.023openalex-snapshot
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2013.12.015openalex-snapshot
Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
inferred← citeshttps://doi.org/10.1016/j.camwa.2012.02.031openalex-snapshot
Module-based architecture for a periodic job-shop scheduling problem
inferred← citeshttps://doi.org/10.1016/j.cie.2009.07.013openalex-snapshot
Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams
inferred← citeshttps://doi.org/10.1016/j.cie.2011.02.001openalex-snapshot
Firing sequences backward algorithm for simple assembly line balancing problem of type 1
inferred← citeshttps://doi.org/10.1016/j.cie.2012.05.009openalex-snapshot
The robustness of scheduling policies in multi-product manufacturing systems with sequence-dependent setup times and finite buffers
inferred← citeshttps://doi.org/10.1016/j.cie.2014.09.024openalex-snapshot
Petri net based decision system modeling in real-time scheduling and control of flexible automotive manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2004.08.025openalex-snapshot
Petri-net based formulation and algorithm for short-term scheduling of batch plants
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2009.11.007openalex-snapshot
Tank cycling and scheduling analysis of high fusion point oil transportation for crude oil operations in refinery
inferred← citeshttps://doi.org/10.1016/j.cor.2014.03.024openalex-snapshot
Cycle time analysis of dual-arm cluster tools for wafer fabrication processes with multiple wafer revisiting times
inferred← citeshttps://doi.org/10.1016/j.dss.2006.05.004openalex-snapshot
An adaptive coordination framework for fast atomic multi-business transactions using web services
inferred← citeshttps://doi.org/10.1016/j.engappai.2007.04.007openalex-snapshot
A fuzzy reasoning design for fault detection and diagnosis of a computer-controlled system
inferred← citeshttps://doi.org/10.1016/j.eswa.2009.11.026openalex-snapshot
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
inferred← citeshttps://doi.org/10.1016/j.future.2018.04.090openalex-snapshot
Petri net-based methods for analyzing structural security in e-commerce business processes
inferred← citeshttps://doi.org/10.1016/j.ifacsc.2021.100146openalex-snapshot
Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach
inferred← citeshttps://doi.org/10.1016/j.ins.2015.08.016openalex-snapshot
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
inferred← citeshttps://doi.org/10.1016/j.ins.2015.08.037openalex-snapshot
A survey of siphons in Petri nets
inferred← citeshttps://doi.org/10.1016/j.ins.2015.11.021openalex-snapshot
Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
inferred← citeshttps://doi.org/10.1016/j.ins.2017.08.014openalex-snapshot
Deadlock and liveness characterization for a class of generalized Petri nets
inferred← citeshttps://doi.org/10.1016/j.ins.2018.11.051openalex-snapshot
Robust deadlock control of automated manufacturing systems with multiple unreliable resources
inferred← citeshttps://doi.org/10.1016/j.ins.2020.05.007openalex-snapshot
Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
inferred← citeshttps://doi.org/10.1016/j.ipl.2004.05.018openalex-snapshot
New characterization for live and reversible augmented marked graphs
inferred← citeshttps://doi.org/10.1016/j.ipl.2005.02.011openalex-snapshot
Cycle inclusion property of augmented marked graphs
inferred← citeshttps://doi.org/10.1016/j.is.2024.102382openalex-snapshot
A chance for models to show their quality: Stochastic process model-log dimensions
inferred← citeshttps://doi.org/10.1016/j.jmsy.2013.01.001openalex-snapshot
Robust manufacturing system design using multi objective genetic algorithms, Petri nets and Bayesian uncertainty representation
inferred← citeshttps://doi.org/10.1016/j.jmsy.2018.05.013openalex-snapshot
Scheduling policies in flexible Bernoulli lines with dedicated finite buffers
inferred← citeshttps://doi.org/10.1016/j.jmsy.2025.06.017openalex-snapshot
Flexible Manufacturing Systems intralogistics: Dynamic optimization of AGVs and tool sharing using Colored-Timed Petri Nets and actor–critic RL with actions masking
inferred← citeshttps://doi.org/10.1016/j.jss.2005.06.018openalex-snapshot
A petri-net-based synthesis methodology for use-case-driven system design
inferred← citeshttps://doi.org/10.1016/j.jss.2008.01.018openalex-snapshot
Real-time scheduling of batch systems using Petri nets and linear logic
inferred← citeshttps://doi.org/10.1016/j.knosys.2004.04.009openalex-snapshot
Integration techniques in intelligent operational management: a review
inferred← citeshttps://doi.org/10.1016/j.mbs.2007.07.003openalex-snapshot
A Petri net approach to the study of persistence in chemical reaction networks
inferred← citeshttps://doi.org/10.1016/j.mfglet.2023.07.020openalex-snapshot
Precise geometry and pose measurement of in-hand objects with simple features using a multi-camera system
inferred← citeshttps://doi.org/10.1016/j.psep.2024.04.062openalex-snapshot
Emergency response actions modeling and time analysis: Considering priority of actions
inferred← citeshttps://doi.org/10.1016/j.rcim.2021.102306openalex-snapshot
Task allocation and planning for product disassembly with human–robot collaboration
inferred← citeshttps://doi.org/10.1016/j.ress.2003.10.013openalex-snapshot
Modeling of system reliability Petri nets with aging tokens
inferred← citeshttps://doi.org/10.1016/j.ssci.2015.12.003openalex-snapshot
Modeling and analysis of subway fire emergency response: An empirical study
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.12.010openalex-snapshot
Property-preserving subnet reductions for designing manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1016/s0166-3615(01)00142-7openalex-snapshot
A survey of Petri net applications in batch processes
inferred← citeshttps://doi.org/10.1016/s0278-6125(02)90011-7openalex-snapshot
Formal modeling methodologies for control of manufacturing cells: Survey and comparison
inferred← citeshttps://doi.org/10.1016/s0360-8352(00)00032-2openalex-snapshot
A generic event control framework for modular flexible manufacturing systems
inferred← citeshttps://doi.org/10.1016/s0924-0136(01)01118-9openalex-snapshot
Petri net models applied to analyze automatic sequential pressing systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56081-4openalex-snapshot
Petri nets in semiconductor manufacturing automation: A review
inferred← citeshttps://doi.org/10.1023/a:1021093827719openalex-snapshot
Contract-collaboration network method for modeling manufacturing resource control workflows
inferred← citeshttps://doi.org/10.1049/iet-cta.2008.0193openalex-snapshot
Self-liveness of a class of Petri net models for flexible manufacturing systems
inferred← citeshttps://doi.org/10.1049/iet-cta.2010.0195openalex-snapshot
Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources
inferred← citeshttps://doi.org/10.1049/iet-cta:20060275openalex-snapshot
Max'-controlled siphons for liveness of S 3 PGR 2
inferred← citeshttps://doi.org/10.1049/iet-cta:20070399openalex-snapshot
Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1063/1.3223922openalex-snapshot
A SUGGESTION OF SIMULATION FRAMEWORK FOR VERIFING PLC PROGRAM & APPLICATION IN AUTOMOTIVE PRODUCTION LINE
inferred← citeshttps://doi.org/10.1080/00207540110118631openalex-snapshot
Adaptive production scheduling of virtual production systems using object-oriented Petri nets with changeable structure
inferred← citeshttps://doi.org/10.1080/0020754031000120078openalex-snapshot
Disassembly sequencing: A survey
inferred← citeshttps://doi.org/10.1080/00207540600863738openalex-snapshot
Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
inferred← citeshttps://doi.org/10.1080/00207540701429926openalex-snapshot
An ISM approach for modelling the enablers of flexible manufacturing system: the case for India
inferred← citeshttps://doi.org/10.1080/00207540701644151openalex-snapshot
Manufacturing process analysis with support of workflow modelling and simulation
inferred← citeshttps://doi.org/10.1080/00207540903436661openalex-snapshot
Systems approach to modelling cost and value dynamics in manufacturing enterprises
inferred← citeshttps://doi.org/10.1080/00207543.2010.492404openalex-snapshot
Simulation framework for the verification of PLC programs in automobile industries
inferred← citeshttps://doi.org/10.1080/00207543.2011.648777openalex-snapshot
Development of a multi-product cost and value stream modelling methodology
inferred← citeshttps://doi.org/10.1080/00207543.2011.653455openalex-snapshot
Scheduling policies in multi-product manufacturing systems with sequence-dependent setup times and finite buffers
inferred← citeshttps://doi.org/10.1080/00207543.2013.765071openalex-snapshot
Modelling and simulation of automated manufacturing systems for evaluation of complex schedules
inferred← citeshttps://doi.org/10.1080/00207543.2017.1421780openalex-snapshot
Concurrent manual-order-picking warehouse design: a simulation-based design of experiments approach
inferred← citeshttps://doi.org/10.1080/00207721.2012.659291openalex-snapshot
Controllability of control and mixture weakly dependent siphons in S3PR
inferred← citeshttps://doi.org/10.1080/00207721.2013.827257openalex-snapshot
Necessary and sufficient liveness condition of GS3PR Petri nets
inferred← citeshttps://doi.org/10.1080/00207721.2014.938788openalex-snapshot
Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
inferred← citeshttps://doi.org/10.1080/02533839.2018.1498019openalex-snapshot
Deadlock prevention technique using additional transitions for Petri nets
inferred← citeshttps://doi.org/10.1080/03081070310001623366openalex-snapshot
Tutorial and Survey Articles: An introduction to Petri Nets
inferred← citeshttps://doi.org/10.1080/07408170600897536openalex-snapshot
Uncertainty management in optimal disassembly planning through learning-based strategies
inferred← citeshttps://doi.org/10.1080/0740817x.2010.546385openalex-snapshot
Event log modeling and analysis for system failure prediction
inferred← citeshttps://doi.org/10.1080/0740817x.2012.677575openalex-snapshot
Quality bottleneck transitions in flexible manufacturing systems with batch productions
inferred← citeshttps://doi.org/10.1080/09511920500064664openalex-snapshot
On-line scheduling and control of flexible manufacturing cells using automata theory
inferred← citeshttps://doi.org/10.1080/09511920802199838openalex-snapshot
Petri net-based VR model interactive behaviour specification and control for maintaining training
inferred← citeshttps://doi.org/10.1080/09511920802225914openalex-snapshot
Simulation-based scheduling of assembly operations
inferred← citeshttps://doi.org/10.1080/0951192x.2011.575182openalex-snapshot
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets
inferred← citeshttps://doi.org/10.1080/10170660509509278openalex-snapshot
A PETRI NET BASED OFFLINE SIMULATION AND ONLINE DIAGNOSTIC PLATFORM FOR MANUFACTURING SYSTEMS
inferred← citeshttps://doi.org/10.1080/10170660609508994openalex-snapshot
DESIGN FOR LOGISTICS IN SET-BASED CONCURRENT ENGINEERING ENVIRONMENT
inferred← citeshttps://doi.org/10.1080/17517575.2010.541943openalex-snapshot
A vector matching method for analysing logic Petri nets
inferred← citeshttps://doi.org/10.1080/17517575.2014.948936openalex-snapshot
Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines
inferred← citeshttps://doi.org/10.1080/17517575.2016.1172347openalex-snapshot
A Web service substitution method based on service cluster nets
inferred← citeshttps://doi.org/10.1093/comjnl/bxh125openalex-snapshot
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction
inferred← citeshttps://doi.org/10.1093/imamci/dnv016openalex-snapshot
A resource configuration method for liveness of a class of Petri nets
inferred← citeshttps://doi.org/10.1101/2020.12.10.419093openalex-snapshot
A new Petri Net Model of Working Memory to Predict the Root Causes of Attention Deficit Disorder Symptoms
inferred← citeshttps://doi.org/10.1108/02656710810898667openalex-snapshot
Reliability analysis of pulping system using Petri nets
inferred← citeshttps://doi.org/10.1108/17465660810860363openalex-snapshot
Availability modeling of screening system of a paper plant using GSPN
inferred← citeshttps://doi.org/10.1108/imds-11-2016-0503openalex-snapshot
IoT-based production logistics and supply chain system – Part 1
inferred← citeshttps://doi.org/10.1109/3477.875451openalex-snapshot
Modeling and analysis of equipment managers in manufacturing execution systems for semiconductor packaging
inferred← citeshttps://doi.org/10.1109/66.705370openalex-snapshot
Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
inferred← citeshttps://doi.org/10.1109/70.744614openalex-snapshot
A methodology for modeling and adaptive planning of disassembly processes
inferred← citeshttps://doi.org/10.1109/70.843173openalex-snapshot
Design and implementation of an adaptive process planner for disassembly processes
inferred← citeshttps://doi.org/10.1109/70.850648openalex-snapshot
Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets
inferred← citeshttps://doi.org/10.1109/70.897791openalex-snapshot
Automata-based modeling and control synthesis for manufacturing workcells with part-routing flexibility
inferred← citeshttps://doi.org/10.1109/acc.2002.1025352openalex-snapshot
Model checking: towards generating a correct specification for logic controllers
inferred← citeshttps://doi.org/10.1109/acc.2008.4586536openalex-snapshot
Hierarchial modeling of manufacturing systems using max-plus algebra
inferred← citeshttps://doi.org/10.1109/access.2017.2743113openalex-snapshot
Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes
inferred← citeshttps://doi.org/10.1109/access.2017.2763783openalex-snapshot
An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets
inferred← citeshttps://doi.org/10.1109/access.2018.2831219openalex-snapshot
A Process-Profile-Based Method to Measure Consistency of E-Commerce System
inferred← citeshttps://doi.org/10.1109/access.2018.2836858openalex-snapshot
Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices
inferred← citeshttps://doi.org/10.1109/access.2020.2998132openalex-snapshot
Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions
inferred← citeshttps://doi.org/10.1109/access.2020.3010237openalex-snapshot
Modeling and Deadlock Control of Reconfigurable Multi-Unit Resource Systems
inferred← citeshttps://doi.org/10.1109/access.2020.3022655openalex-snapshot
A Hybrid Estimation-of-Distribution Algorithm for Scheduling Flexible Job Shop With Limited Buffers Based on Petri Nets
inferred← citeshttps://doi.org/10.1109/access.2021.3073639openalex-snapshot
Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons
inferred← citeshttps://doi.org/10.1109/access.2021.3084744openalex-snapshot
A Measure Consistency Method for Overlapping Correspondence of Workflow Nets Based on Relation Profiles Partner Matrix
inferred← citeshttps://doi.org/10.1109/asc-icsc.2008.4675532openalex-snapshot
Networked manufacturing-based supply chain operation model and contract research
inferred← citeshttps://doi.org/10.1109/cac.2018.8623683openalex-snapshot
Designing an Interactive Control for Multi-Robots Scenes based on Petri Nets
inferred← citeshttps://doi.org/10.1109/case.2011.6042403openalex-snapshot
Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting
inferred← citeshttps://doi.org/10.1109/case.2011.6042447openalex-snapshot
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582895openalex-snapshot
A Modular Approach for Deadlock Avoidance in FMS
inferred← citeshttps://doi.org/10.1109/chicc.2014.6895612openalex-snapshot
A method to check liveness of WS3PR
inferred← citeshttps://doi.org/10.1109/cloudcom.2010.83openalex-snapshot
Self-Caring IT Systems: A Proof-of-Concept Implementation in Virtualized Environments
inferred← citeshttps://doi.org/10.1109/coase.2006.326860openalex-snapshot
Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net
inferred← citeshttps://doi.org/10.1109/coase.2007.4341823openalex-snapshot
Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net
inferred← citeshttps://doi.org/10.1109/coase.2008.4626421openalex-snapshot
Quality analysis in flexible manufacturing systems with batch productions
inferred← citeshttps://doi.org/10.1109/coase.2008.4626482openalex-snapshot
Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations
inferred← citeshttps://doi.org/10.1109/coase.2009.5234146openalex-snapshot
A novel approach to scheduling of single-arm cluster tools with wafer revisiting
inferred← citeshttps://doi.org/10.1109/coase.2009.5234176openalex-snapshot
Monotonic and non-monotonic properties of product quality in flexible manufacturing systems with batch operations
inferred← citeshttps://doi.org/10.1109/coase.2010.5584183openalex-snapshot
Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation
inferred← citeshttps://doi.org/10.1109/coase.2012.6386329openalex-snapshot
Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting
inferred← citeshttps://doi.org/10.1109/coase.2012.6386348openalex-snapshot
On iterative liveness-enforcement for a class of generalized Petri nets
inferred← citeshttps://doi.org/10.1109/coase.2014.6899307openalex-snapshot
Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules
inferred← citeshttps://doi.org/10.1109/coase.2016.7743573openalex-snapshot
Optimal scheduling analysis of treelike hybrid multi-cluster tools
inferred← citeshttps://doi.org/10.1109/coase.2016.7743574openalex-snapshot
Optimal one-wafer cyclic scheduling analysis of transport-dominant single-arm multi-cluster tools
inferred← citeshttps://doi.org/10.1109/ecbs.2006.71openalex-snapshot
Using a timed Petri net (TPN) to model a bank ATM
inferred← citeshttps://doi.org/10.1109/ecbs.2007.68openalex-snapshot
Supporting UML Sequence Diagrams Using a Processor Net Model
inferred← citeshttps://doi.org/10.1109/edoc.2001.950419openalex-snapshot
A Web-based material requirements planning integrated application
inferred← citeshttps://doi.org/10.1109/ems.2012.62openalex-snapshot
Modeling Resource Management Problems with Activity-Oriented Petri Nets
inferred← citeshttps://doi.org/10.1109/ems.2013.32openalex-snapshot
Adding PNML Capability to GPenSIM
inferred← citeshttps://doi.org/10.1109/etfa.2009.5347117openalex-snapshot
Sequence-detectability analysis of interpreted Petri nets under partial state observations
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489678openalex-snapshot
Formal verification of Intelligent Mechatronic Systems with decentralized control logic
inferred← citeshttps://doi.org/10.1109/etfa.2013.6647963openalex-snapshot
Modeling Steelmaking and Continuous Casting plants by Timed Petri Nets
inferred← citeshttps://doi.org/10.1109/fskd.2011.6019803openalex-snapshot
Representation of Petri net with OWL DL ontology
inferred← citeshttps://doi.org/10.1109/ical.2011.6024755openalex-snapshot
Scheduling optimization for FMS based on Petri net modeling and GA
inferred← citeshttps://doi.org/10.1109/icca.2003.1594987openalex-snapshot
Modeling and Analysis of Failure Prone Machines in Virtual-Production-Line-Based Reconfigurable Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/icca.2013.6564945openalex-snapshot
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets
inferred← citeshttps://doi.org/10.1109/iccie.2010.5668241openalex-snapshot
Waste electronics and electrical equipment disassembly and recycling using Petri net analysis
inferred← citeshttps://doi.org/10.1109/iccps.2018.00017openalex-snapshot
SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/icicisys.2009.5358176openalex-snapshot
Research on airport surface modeling and path planning algorithm based on CTPN
inferred← citeshttps://doi.org/10.1109/iciea.2011.5975798openalex-snapshot
Model construction of pharmaceutical manufacturing processes using Petri nets
inferred← citeshttps://doi.org/10.1109/iciea.2013.6566400openalex-snapshot
Behavior modeling and remote control of industrial conveyor systems via internet
inferred← citeshttps://doi.org/10.1109/icma.2010.5588730openalex-snapshot
Response policy for failure of parallel module in single-arm time constrained cluster tools
inferred← citeshttps://doi.org/10.1109/icma.2010.5588968openalex-snapshot
A deadlock prevention approach for a class of time Petri nets based on SCG
inferred← citeshttps://doi.org/10.1109/icnsc.2007.372782openalex-snapshot
On Petri Net Modeling of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/icnsc.2011.5874903openalex-snapshot
Interaction behavior modeling of advanced driving assistance systems by using Petri net
showing the first 200 of 501 · page through all 501
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.