On the public citation graph
A Petri net approach to the modelling and analysis of flexible manufacturing systems
0 signed · 223 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10001-6_24openalex-snapshot
Linear algebra in net theory
inferredcites →https://doi.org/10.1007/bfb0016219openalex-snapshot
On the invariants of coloured Petri Nets
inferredcites →https://doi.org/10.1109/cdc.1983.269683openalex-snapshot
Using Petri nets to represent production processes
inferredcites →https://doi.org/10.1109/mc.1979.1658580openalex-snapshot
Special Feature: Putting Petri Nets to Work
inferredcites →https://doi.org/10.1109/tse.1980.230492openalex-snapshot
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
inferredcites →https://doi.org/10.5555/800095.803108openalex-snapshot
A Synthesis Rule for Concurrent Systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380240805openalex-snapshot
An interactive tool for design, simulation, verification, and synthesis of protocols
inferred← citeshttps://doi.org/10.1007/0-8176-4488-1_2openalex-snapshot
An Introduction to Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-52494-0_38openalex-snapshot
Petri nets and flexible manufacturing
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_19openalex-snapshot
Liveness and boundedness analysis for Petri nets with event graph modules
inferred← citeshttps://doi.org/10.1007/978-0-387-35065-3_1openalex-snapshot
Reengineering Manufacturing Processes for Agility
inferred← citeshttps://doi.org/10.1007/978-1-84882-244-3openalex-snapshot
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
inferred← citeshttps://doi.org/10.1007/978-1-84882-244-3_8openalex-snapshot
Conclusions and Future Research
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-642-12052-7_6openalex-snapshot
Manufacturing System Modeling Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-50317-7_6openalex-snapshot
Tools for the design process
inferred← citeshttps://doi.org/10.1007/978-3-642-78063-9_12openalex-snapshot
Formal Models for Control of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_2openalex-snapshot
Principles of system modeling
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_3openalex-snapshot
Synthesis for manufacturing systems integration
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_4openalex-snapshot
Performance evaluation of manufacturing systems
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_5openalex-snapshot
Petri nets for manufacturing information systems
inferred← citeshttps://doi.org/10.1007/bf00572403openalex-snapshot
A rule-based system for generating a ladder logic control program from a high-level systems model
inferred← citeshttps://doi.org/10.1007/bf00572404openalex-snapshot
An organism-oriented modeling approach to support the analysis and design of intelligent manufacturing systems
inferred← citeshttps://doi.org/10.1007/bf01179417openalex-snapshot
Integrated knowledge-based assembly sequence planning
inferred← citeshttps://doi.org/10.1007/bf01313698openalex-snapshot
An architecture for a shop-floor controller using colored Petri nets
inferred← citeshttps://doi.org/10.1007/bf01325038openalex-snapshot
Modular synthesis of Petri nets for modeling flexible manufacturing systems
inferred← citeshttps://doi.org/10.1007/bf01325064openalex-snapshot
XPN-FMS: A CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X window
inferred← citeshttps://doi.org/10.1007/bf01328812openalex-snapshot
Analytical models for FMS design optimization: A survey
inferred← citeshttps://doi.org/10.1007/bf01975673openalex-snapshot
A synthesis technique of general petri nets
inferred← citeshttps://doi.org/10.1007/bf02023766openalex-snapshot
An overview of evaluative models for flexible manufacturing systems
inferred← citeshttps://doi.org/10.1007/bf02601538openalex-snapshot
Flexibility and types of changes in FMSs: A timed petri-nets assessment of machine flexibility
inferred← citeshttps://doi.org/10.1007/bf02811330openalex-snapshot
Markovian models for deadlock analysis in automated manufacturing systems
inferred← citeshttps://doi.org/10.1007/bf02943509openalex-snapshot
Net operations (II)—The iterated addition operation of Petri nets
inferred← citeshttps://doi.org/10.1007/bfb0016219openalex-snapshot
On the invariants of coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/bfb0033592openalex-snapshot
On controlling a class of assembly system with alternative production routeing
inferred← citeshttps://doi.org/10.1007/s00170-003-1682-2openalex-snapshot
An activity-based predicate/transition net model of operational control planning for a flexible manufacturing system
inferred← citeshttps://doi.org/10.1007/s10462-022-10161-0openalex-snapshot
Modeling, reasoning, and application of fuzzy Petri net model: a survey
inferred← citeshttps://doi.org/10.1007/s10617-007-9011-xopenalex-snapshot
A time Petri net-based method for embedded hard real-time software synthesis
inferred← citeshttps://doi.org/10.1007/s13198-013-0175-4openalex-snapshot
A stochastic reward net approach for reliability analysis of a flexible manufacturing module
inferred← citeshttps://doi.org/10.1016/0005-1098(92)90061-jopenalex-snapshot
Design and implementation of a petri net based supervisor for a flexible manufacturing system
inferred← citeshttps://doi.org/10.1016/0278-6125(90)90068-sopenalex-snapshot
Cellular manufacturing systems modeling: The Petri net approach
inferred← citeshttps://doi.org/10.1016/0278-6125(94)90033-7openalex-snapshot
A Petri net-based simulation tool for the design and analysis of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1016/0278-6125(94)90036-1openalex-snapshot
Augmented timed petri nets for modeling, simulation, and analysis of robotic systems with breakdowns
inferred← citeshttps://doi.org/10.1016/0278-6125(96)89572-0openalex-snapshot
Nonstochastic analysis of manufacturing system using timed-event graphs
inferred← citeshttps://doi.org/10.1016/0360-8352(94)00191-oopenalex-snapshot
Flexible process sequencing using Petri net theory
inferred← citeshttps://doi.org/10.1016/0377-2217(89)90206-3openalex-snapshot
Flexibility of manufacturing systems: Concepts and measurements
inferred← citeshttps://doi.org/10.1016/0895-7177(92)90043-kopenalex-snapshot
Stochastic modelling of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1016/0895-7177(93)90140-topenalex-snapshot
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
inferred← citeshttps://doi.org/10.1016/0924-0136(90)90108-7openalex-snapshot
Simulating flexible automated forming and assembly systems
inferred← citeshttps://doi.org/10.1016/0951-5240(92)90009-2openalex-snapshot
Performance analysis of network and database transactions flow in a CIM system
inferred← citeshttps://doi.org/10.1016/0951-5240(93)90023-jopenalex-snapshot
State space approach to qualitative analysis of FMSs
inferred← citeshttps://doi.org/10.1016/0954-1810(90)90034-2openalex-snapshot
Modeling advanced manufacturing systems using concurrent logic programming
inferred← citeshttps://doi.org/10.1016/b978-0-08-041897-1.50088-2openalex-snapshot
DESIGN OF MANUFACTURING SYSTEMS: A BOTTOM-UP APPROACH BASED ON PETRI NETS
inferred← citeshttps://doi.org/10.1016/b978-0-12-012746-7.50008-0openalex-snapshot
Preliminary System Design for Flexible Manufacturing Systems (Fms): Essential Elements, Analysis Tools, and Techniques
inferred← citeshttps://doi.org/10.1016/b978-0-12-012747-4.50009-3openalex-snapshot
Modeling, Control, and Performance Analysis of Automated Manufacturing Systems Using Petri Nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2003.07.008openalex-snapshot
Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2006.02.022openalex-snapshot
Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.1118openalex-snapshot
Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets
inferred← citeshttps://doi.org/10.1016/j.jksues.2011.06.005openalex-snapshot
Analysis of performance measures of flexible manufacturing system
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.tcs.2004.12.010openalex-snapshot
Property-preserving subnet reductions for designing manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1016/s0005-1098(03)00176-6openalex-snapshot
Robustness of deadlock avoidance algorithms for sequential processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(03)00359-1openalex-snapshot
On liveness and boundedness of asymmetric choice nets
inferred← citeshttps://doi.org/10.1016/s0736-5845(00)00045-4openalex-snapshot
Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets
inferred← citeshttps://doi.org/10.1016/s0947-3580(97)70077-3openalex-snapshot
Petri Nets for the Design and Operation of Manufacturing Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41029-9openalex-snapshot
Multilevel Algebraic Modelling of Complex Manufacturing Tasks
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43570-1openalex-snapshot
DES Control Under Constraints by Colored Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51710-3openalex-snapshot
Control of a Flexible Manufacturing System Using Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)52413-1openalex-snapshot
Design of Manufacturing Systems: A Bottom-Up Approach Based on Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54683-2openalex-snapshot
Fault Detection and Diagnosis of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)55311-2openalex-snapshot
Automatic Programming of Controllers for Discrete Manufacturing Processes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)55770-5openalex-snapshot
Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)69336-4openalex-snapshot
Deadlock Avoidance in a Five-Robot-Five-Assembly-Line System: Petri Net Modeling and Analysis
inferred← citeshttps://doi.org/10.1023/a:1018969126418openalex-snapshot
Intelligent decision support system for flexible manufacturing system design
inferred← citeshttps://doi.org/10.1023/a:1019920324813openalex-snapshot
Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm
inferred← citeshttps://doi.org/10.1051/ro:2004013openalex-snapshot
Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
inferred← citeshttps://doi.org/10.1057/jors.1994.215openalex-snapshot
Decomposing Timed Petri Net Models of Open Queueing Networks
inferred← citeshttps://doi.org/10.1080/00207170903502815openalex-snapshot
Robustness analysis of non-ordinary Petri nets for flexible assembly systems
inferred← citeshttps://doi.org/10.1080/00207179.2011.561443openalex-snapshot
Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition
inferred← citeshttps://doi.org/10.1080/00207540110073037openalex-snapshot
Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model
inferred← citeshttps://doi.org/10.1080/00207540410001716552openalex-snapshot
Modelling and rescheduling of a re-entrant wafer fabrication line involving machine unreliability
inferred← citeshttps://doi.org/10.1080/00207543.2012.756593openalex-snapshot
Flexibility development – a personal retrospective
inferred← citeshttps://doi.org/10.1080/00207548808947856openalex-snapshot
Flexibility in manufacturing systems: definitions and Petri net modelling
inferred← citeshttps://doi.org/10.1080/00207549208948196openalex-snapshot
A framework for assessing the flexibility of manufacturing systems
inferred← citeshttps://doi.org/10.1080/00207549308956799openalex-snapshot
A Petri net-based decomposition approach in modelling of manufacturing systems
inferred← citeshttps://doi.org/10.1080/00207549308956866openalex-snapshot
Design and development of a stochastic high-level Petri net system for FMS performance evaluation
inferred← citeshttps://doi.org/10.1080/00207549408957069openalex-snapshot
On using abstract models for analysis of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1080/00207549608904922openalex-snapshot
A Petri net approach to investigating push and pull paradigms in flexible factory automated systems
inferred← citeshttps://doi.org/10.1080/03081070310001623366openalex-snapshot
Tutorial and Survey Articles: An introduction to Petri Nets
inferred← citeshttps://doi.org/10.1080/03772063.1989.11436818openalex-snapshot
Performance Modelling of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1080/07408178908966221openalex-snapshot
An Artificial Intelligence Approach to the Scheduling of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1080/07408179208964226openalex-snapshot
CIMGEN—A COMPUTER AIDED SOFTWARE ENGINEERING TOOL FOR DEVELOPMENT OF FMS CONTROL SOFTWARE
inferred← citeshttps://doi.org/10.1080/09511929108944513openalex-snapshot
INformation Systems for Integrated Manufacturing (INSIM): a design methodology
inferred← citeshttps://doi.org/10.1080/0951192x.2010.523845openalex-snapshot
Cell controller design for RFID based flexible manufacturing systems
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.1109/21.135693openalex-snapshot
Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/21.214792openalex-snapshot
A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/21.229464openalex-snapshot
Petri net synthesis and analysis of a flexible manufacturing system cell
inferred← citeshttps://doi.org/10.1109/21.362959openalex-snapshot
Structured representation of rule-based specifications in CIM using updated Petri nets
inferred← citeshttps://doi.org/10.1109/21.44011openalex-snapshot
Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/32.44362openalex-snapshot
Petri net tools for the specification and analysis of discrete controllers
inferred← citeshttps://doi.org/10.1109/3468.769759openalex-snapshot
Analysis of modularly composed nets by siphons
inferred← citeshttps://doi.org/10.1109/3477.484449openalex-snapshot
Petri net modelling of buffers in automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/3477.558787openalex-snapshot
A Petri net synthesis theory for modeling flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/41.334575openalex-snapshot
Systematic construction of functional abstractions of Petri net models of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/5326.760564openalex-snapshot
Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model
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/66.705373openalex-snapshot
Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search
inferred← citeshttps://doi.org/10.1109/69.334880openalex-snapshot
Implementation of rule-based information systems for integrated manufacturing
inferred← citeshttps://doi.org/10.1109/70.143353openalex-snapshot
A hybrid methodology for synthesis of Petri net models for manufacturing systems
inferred← citeshttps://doi.org/10.1109/70.388774openalex-snapshot
Synthesis using resource control nets for modeling shared-resource systems
inferred← citeshttps://doi.org/10.1109/70.406940openalex-snapshot
Formal models for control of flexible manufacturing cells: physical and system model
inferred← citeshttps://doi.org/10.1109/70.585895openalex-snapshot
A class of Petri nets for manufacturing system integration
inferred← citeshttps://doi.org/10.1109/70.631236openalex-snapshot
Petri nets for modeling automated manufacturing systems with error recovery
inferred← citeshttps://doi.org/10.1109/70.63257openalex-snapshot
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
inferred← citeshttps://doi.org/10.1109/70.63259openalex-snapshot
Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets
inferred← citeshttps://doi.org/10.1109/70.63273openalex-snapshot
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
inferred← citeshttps://doi.org/10.1109/70.68077openalex-snapshot
Modeling flexible manufacturing systems: the concurrent logic programming approach
inferred← citeshttps://doi.org/10.1109/70.781975openalex-snapshot
ERCN-merged nets and their analysis using siphons
inferred← citeshttps://doi.org/10.1109/70.86081openalex-snapshot
Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1109/70.864234openalex-snapshot
Behavior relations in synthesis process of Petri net models
inferred← citeshttps://doi.org/10.1109/70.964666openalex-snapshot
Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/acc.1994.751831openalex-snapshot
Optimal deadlock avoidance for a class of manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1109/acc.2003.1238966openalex-snapshot
Collaborative timed Petri net for holonic process planning
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/cca.2003.1223155openalex-snapshot
Fault tolerant liveness analysis for a class of Petri nets
inferred← citeshttps://doi.org/10.1109/cdc.1988.194747openalex-snapshot
Fault detection and diagnosis of automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/cdc.1988.194748openalex-snapshot
Evaluation of part-type mix for a machining workstation using generalized stochastic Petri nets
inferred← citeshttps://doi.org/10.1109/cdc.1990.203297openalex-snapshot
Easy synchronized Petri nets as discrete event models
inferred← citeshttps://doi.org/10.1109/cdc.1992.371530openalex-snapshot
A synthesis method for Petri net modeling of automated manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1109/cim.1990.128109openalex-snapshot
Modeling buffers in automated manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1109/cim.1990.128124openalex-snapshot
A review of synthesis techniques for Petri nets
inferred← citeshttps://doi.org/10.1109/cim.1990.128126openalex-snapshot
Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/cim.1992.638981openalex-snapshot
A Bottom-up Approach For The Design Of Discrete Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/cim.1992.638989openalex-snapshot
Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/cim.1992.639009openalex-snapshot
A Petri Net Based Representation Of Engineering Information Systems
inferred← citeshttps://doi.org/10.1109/cim.1992.639135openalex-snapshot
Hierarchical Dynamic Scheduling For A Flexible Manufacturing System
inferred← citeshttps://doi.org/10.1109/cimat.1994.389098openalex-snapshot
A zero-one programming of Petri nets to colored Petri net transformation
inferred← citeshttps://doi.org/10.1109/ecows.2008.18openalex-snapshot
Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes
inferred← citeshttps://doi.org/10.1109/eeis.1989.720016openalex-snapshot
Concurrent Logic Programming for modeling flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/etfa.1992.683228openalex-snapshot
Automatic Synthesis of FMS System Design Models from System Requirements
inferred← citeshttps://doi.org/10.1109/etfa.1994.401985openalex-snapshot
New results in systematic construction of functional abstractions of Petri net models of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/etfa.1995.496671openalex-snapshot
Petri nets, FCCS, and synchronous languages to specify discrete events systems: a comparative synthesis on validation power
inferred← citeshttps://doi.org/10.1109/etfa.1995.496691openalex-snapshot
A Petri-net-based collision and deadlock avoidance scheme for FMS
inferred← citeshttps://doi.org/10.1109/etfa.1995.496786openalex-snapshot
Siphon and trap generation in an incremental design process based on Petri nets
inferred← citeshttps://doi.org/10.1109/etfa.2001.997673openalex-snapshot
Petri net models and functional abstractions: applications to the design of automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/iccon.1989.770585openalex-snapshot
Real time data network performance evaluation using concurrent finite state machines
inferred← citeshttps://doi.org/10.1109/icmlc.2005.1526925openalex-snapshot
Specification and Verification of Multi-Agent Systems with a Property-Preserving Component-Based Methodology
inferred← citeshttps://doi.org/10.1109/icnsc.2005.1461269openalex-snapshot
Development of the cell controller in automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/icnsc.2015.7116086openalex-snapshot
Modeling and simulation of rumor propagation in social networks based on Petri net theory
inferred← citeshttps://doi.org/10.1109/icsmc.1991.169712openalex-snapshot
Construction of Petri net based mathematical models of an FMS cell
inferred← citeshttps://doi.org/10.1109/icsmc.1991.169713openalex-snapshot
A step-wise specification of a manufacturing system using Petri nets
inferred← citeshttps://doi.org/10.1109/icsmc.1992.271664openalex-snapshot
Control logic design with Petri nets for integrated manufacturing systems
inferred← citeshttps://doi.org/10.1109/icsmc.1993.384808openalex-snapshot
Synthesis of live high level models for a class of FMS
inferred← citeshttps://doi.org/10.1109/icsmc.1994.399917openalex-snapshot
An automatic Petri-net generator for modeling a flexible manufacturing system
inferred← citeshttps://doi.org/10.1109/icsmc.1994.400032openalex-snapshot
Some results on the integration of manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538045openalex-snapshot
On the reversibility problem in a class of synthesized Petri nets
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538046openalex-snapshot
Automatic transformation of simple user commands to hierarchical Petri nets
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538498openalex-snapshot
A review of synthesis techniques for supervisory control of manufacturing systems
inferred← citeshttps://doi.org/10.1109/icsmc.1996.561438openalex-snapshot
Analytical performance evaluation of manufacturing cells using Petri net model and moment generating function
inferred← citeshttps://doi.org/10.1109/icsmc.1997.638112openalex-snapshot
Synthesis of resource control nets using siphons
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725505openalex-snapshot
Synthesis of extended resource control nets using siphons
inferred← citeshttps://doi.org/10.1109/icsmc.2001.973665openalex-snapshot
Deadlock avoidance algorithms for assembly processes with unreliable resources
inferred← citeshttps://doi.org/10.1109/icsmc.2002.1176026openalex-snapshot
Petri net approaches to deadlock modeling and resolution in automated manufacturing
inferred← citeshttps://doi.org/10.1109/icsmc.2004.1399888openalex-snapshot
Hybrid petri net modeling for refinery process
inferred← citeshttps://doi.org/10.1109/icycs.2008.128openalex-snapshot
Property Preservation by Petri-Net-Based Refinements in System Design
inferred← citeshttps://doi.org/10.1109/idaacs68557.2025.11322125openalex-snapshot
Pattern-Based Runtime Protocol Verification for Industrial Automation
inferred← citeshttps://doi.org/10.1109/iecon.1988.666262openalex-snapshot
Distributed Simulation Of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/iecon.1991.239175openalex-snapshot
A method for systematic construction of functional abstractions of a class of Petri nets models used to represent primary components of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/irsse.1992.671837openalex-snapshot
Utilizing Semantic Networks to Database and Retrieve Generalized Stochastic colored Petri Nets
inferred← citeshttps://doi.org/10.1109/isic.1991.187348openalex-snapshot
Combination of Petri nets and intelligent decision makers for manufacturing systems control
inferred← citeshttps://doi.org/10.1109/isie.2004.1571902openalex-snapshot
Fault tolerant analysis of multi-agent manufacturing systems based Petri nets
inferred← citeshttps://doi.org/10.1109/lra.2022.3182822openalex-snapshot
Dynamic Robot Assignment for Flexible Serial Production Systems
inferred← citeshttps://doi.org/10.1109/pnpm.1991.238795openalex-snapshot
Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1986.1087484openalex-snapshot
Real-time performance evaluation of Local Area Networks used in automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1986.1087711openalex-snapshot
Models for simulation and discrete control of manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1987.1087778openalex-snapshot
Coloured Petri net models for automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1987.1087866openalex-snapshot
Essentially decision free Petri nets for real-time resource allocation
inferred← citeshttps://doi.org/10.1109/robot.1989.100041openalex-snapshot
A top-down approach to systematic synthesis of Petri net models for manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1990.126033openalex-snapshot
A Petri net design method for automated manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1109/robot.1991.132007openalex-snapshot
Petri net modeling of a flexible assembly station for printed circuit boards
inferred← citeshttps://doi.org/10.1109/robot.1991.132008openalex-snapshot
Analysis of hierarchical control architectures: a Petri net approach
inferred← citeshttps://doi.org/10.1109/robot.1992.220210openalex-snapshot
Modular approach for Petri-net modeling of flexible manufacturing systems adaptable to various task-flow requirement
inferred← citeshttps://doi.org/10.1109/robot.1993.291843openalex-snapshot
Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets
inferred← citeshttps://doi.org/10.1109/robot.1995.525566openalex-snapshot
A class of Petri nets for modular modeling
inferred← citeshttps://doi.org/10.1109/robot.1997.614256openalex-snapshot
Deadlock-free scheduling of an automated manufacturing system based on Petri nets
inferred← citeshttps://doi.org/10.1109/robot.1997.619325openalex-snapshot
Avoiding deadlocks in automated manufacturing systems with shared material handling system
inferred← citeshttps://doi.org/10.1109/robot.2000.845239openalex-snapshot
Resource-oriented Petri nets for deadlock avoidance in automated manufacturing
inferred← citeshttps://doi.org/10.1109/robot.2000.846352openalex-snapshot
Manufacturing modeling using process nets with resources
inferred← citeshttps://doi.org/10.1109/robot.2003.1241792openalex-snapshot
AGV routing for conflict resolution in AGV systems
inferred← citeshttps://doi.org/10.1109/robot.2003.1241795openalex-snapshot
Property-preserving composition of augmented marked graphs that share common resources
inferred← citeshttps://doi.org/10.1109/spc.2013.6735097openalex-snapshot
Novel petrinet and labview based approaches for automation of small scale soap industry with FPGA and comparative evaluation
inferred← citeshttps://doi.org/10.1109/tie.2005.844225openalex-snapshot
Petri Net Models, Functional Abstractions, and Reduction Techniques: Applications to the Design of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/tmech.2006.886255openalex-snapshot
Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking
inferred← citeshttps://doi.org/10.1109/tra.2002.805655openalex-snapshot
Process nets with resources for manufacturing modeling and their analysis
inferred← citeshttps://doi.org/10.1109/tsmca.2003.820590openalex-snapshot
Deadlock control methods in automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/tsmca.2005.859179openalex-snapshot
An expanded SEMATECH CIM framework for heterogeneous applications integration
inferred← citeshttps://doi.org/10.1109/tsmca.2007.902651openalex-snapshot
Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets
inferred← citeshttps://doi.org/10.1109/tsmca.2010.2046730openalex-snapshot
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution
inferred← citeshttps://doi.org/10.1109/tsmcc.2007.897339openalex-snapshot
Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net
inferred← citeshttps://doi.org/10.1109/wcica.2008.4593661openalex-snapshot
Intelligentized networked manufacturing technique and process modeling
inferred← citeshttps://doi.org/10.1115/detc98/cie-5691openalex-snapshot
Robustness Optimization of FMS Under Production Plan Variations: Preliminary Results
inferred← citeshttps://doi.org/10.1115/detc99/cie-9127openalex-snapshot
Robustness Optimization of FMS Under Production Plan Variations: The Case of Cyclic Production
inferred← citeshttps://doi.org/10.1134/s0040579521010061openalex-snapshot
The Current State of Analysis, Synthesis, and Optimal Functioning of Multiproduct Digital Chemical Plants: Analytical Review
showing the first 200 of 217 · page through all 217
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.