On the public citation graph

Discrete event control system design using automation Petri nets and their ladder diagram implementation

https://doi.org/10.1007/bf01438224
0 signed · 80 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 this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-55676-1_21openalex-snapshot
Using Petri Nets to develop programs for PLC systems
inferredcites →https://doi.org/10.1007/bf00572403openalex-snapshot
A rule-based system for generating a ladder logic control program from a high-level systems model
inferredcites →https://doi.org/10.1049/pbce050eopenalex-snapshot
Programming Industrial Control Systems Using IEC 1131-3
inferredcites →https://doi.org/10.1109/41.334578openalex-snapshot
Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system
inferredcites →https://doi.org/10.1109/87.406973openalex-snapshot
Grafcet: a powerful tool for specification of logic controllers
inferredcites →https://doi.org/10.1109/cacsd.1996.555283openalex-snapshot
Design of discrete event control systems for programmable logic controllers using T-Timed Petri nets
inferredcites →https://doi.org/10.1109/etfa.1992.683240openalex-snapshot
Automatic generation system of ladder list program by petri net
inferredcites →https://doi.org/10.1109/etfa.1996.573978openalex-snapshot
Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams
inferredcites →https://doi.org/10.1177/002029408902201001openalex-snapshot
Petri Net Design Methodology for Sequential Control
inferredcites →https://doi.org/10.13140/rg.2.2.32150.45123openalex-snapshot
PETRI-NET-BASED SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS AND THEIR LADDER LOGIC DIAGRAM IMPLEMENTATIONS

What points at this work

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

inferred← citeshttps://doi.org/10.1002/asjc.528openalex-snapshot
Controller Synthesis with Highly Simplified Linear Constraints
inferred← citeshttps://doi.org/10.1002/int.10135openalex-snapshot
Generalized state equation of Petri Nets with priority
inferred← citeshttps://doi.org/10.1002/tee.22001openalex-snapshot
Fault diagnosis in fixed‐block railway signaling systems: a discrete event systems approach
inferred← citeshttps://doi.org/10.1007/978-3-031-34896-9_21openalex-snapshot
Intelligent Tutoring System to Learn the Transcription of Polysemous Words in Mooré
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-1902-9openalex-snapshot
A systematic approach for the sequence controller design in manufacturing systems
inferred← citeshttps://doi.org/10.1007/s00170-006-0924-5openalex-snapshot
Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation
inferred← citeshttps://doi.org/10.1007/s00170-008-1426-4openalex-snapshot
Study on LD-VHDL conversion for FPGA-based PLC implementation
inferred← citeshttps://doi.org/10.1007/s00170-008-1497-2openalex-snapshot
Asynchronous implementation of discrete event controllers based on safe automation Petri nets
inferred← citeshttps://doi.org/10.1007/s00170-009-2405-0openalex-snapshot
A study on the generation of silicon-based hardware Plc by means of the direct conversion of the ladder diagram to circuit design language
inferred← citeshttps://doi.org/10.1007/s001700070058openalex-snapshot
Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System
inferred← citeshttps://doi.org/10.1007/s001700170103openalex-snapshot
A Hybrid Specification Method for the Design of a Workcell Controller in Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/s10845-005-1662-5openalex-snapshot
Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets
inferred← citeshttps://doi.org/10.1016/j.asej.2024.102804openalex-snapshot
Task planning and formal control of robotic assembly systems: A Petri net-based approach
inferred← citeshttps://doi.org/10.1016/j.automatica.2007.10.031openalex-snapshot
Reduction of constraints for controller synthesis based on safe Petri Nets
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.compind.2009.12.010openalex-snapshot
Compiling Ladder Diagram into Instruction List to comply with IEC 61131-3
inferred← citeshttps://doi.org/10.1016/j.conengprac.2009.05.004openalex-snapshot
The real-time supervisory control of an experimental manufacturing system based on a hybrid method
inferred← citeshttps://doi.org/10.1016/j.isatra.2014.08.019openalex-snapshot
Programmable logic controller performance enhancement by field programmable gate array based design
inferred← citeshttps://doi.org/10.1016/j.jmsy.2014.04.008openalex-snapshot
The synthesis and PLC implementation of hybrid modular supervisors for real time control of an experimental manufacturing system
inferred← citeshttps://doi.org/10.1016/j.jss.2005.12.022openalex-snapshot
Automatic code generation from high-level Petri-Nets for model driven systems engineering
inferred← citeshttps://doi.org/10.1016/j.robot.2026.105760openalex-snapshot
An executive framework for distributed autonomous systems based on Message Interpreted Petri Nets
inferred← citeshttps://doi.org/10.1023/b:jims.0000018036.84607.37openalex-snapshot
Automatic generation of ladder diagram with control Petri Net
inferred← citeshttps://doi.org/10.1080/00207540802270104openalex-snapshot
An integrated IDEF0-3/CTPN/SFC approach for design and analysis of discrete event control systems
inferred← citeshttps://doi.org/10.1080/00207540802577961openalex-snapshot
Plant model generation for PLC simulation
inferred← citeshttps://doi.org/10.1080/00207543.2012.693964openalex-snapshot
New modelling formalism for control programs of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1080/02286203.2009.11442513openalex-snapshot
Conversion of Ladder Diagram to Petri Net Using Module Synthesis Technique
inferred← citeshttps://doi.org/10.1109/acc.2000.878725openalex-snapshot
Automatic implementation of Petri net based control algorithms on PLC
inferred← citeshttps://doi.org/10.1109/access.2020.2983276openalex-snapshot
FPGA Implementation of Fuzzy Interpreted Petri Net
inferred← citeshttps://doi.org/10.1109/access.2022.3180547openalex-snapshot
Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN)
inferred← citeshttps://doi.org/10.1109/cca.2000.897588openalex-snapshot
A PLC-based design for the sequence controller in discrete event systems
inferred← citeshttps://doi.org/10.1109/ccra.2016.7811399openalex-snapshot
A new automatization algorithm and equation for linear process using timers
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426235openalex-snapshot
Petri net diagnoser for DES modeled by finite state automata
inferred← citeshttps://doi.org/10.1109/cist.2012.6388054openalex-snapshot
Generating methods signatures from transition state diagram: A model transformation approach
inferred← citeshttps://doi.org/10.1109/eeeic.2017.7977530openalex-snapshot
Towards a unified approach for Distributed Measurement System technologies
inferred← citeshttps://doi.org/10.1109/etfa.2018.8502451openalex-snapshot
Synthesis of Controllers from Finite State Stack Machine Diagrams
inferred← citeshttps://doi.org/10.1109/icsmc.2000.884356openalex-snapshot
Formal methods in PLC programming
inferred← citeshttps://doi.org/10.1109/icsmc.2001.972971openalex-snapshot
Conversion between ladder diagrams and PNs in discrete-event control design-a survey
inferred← citeshttps://doi.org/10.1109/icsmc.2001.972976openalex-snapshot
A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation
inferred← citeshttps://doi.org/10.1109/icsmc.2003.1244685openalex-snapshot
A Petri-net approach to hierarchical supervision for remote-controlled processes
inferred← citeshttps://doi.org/10.1109/ines.2016.7555133openalex-snapshot
Timed automation Petri nets for time-delay automation systems
inferred← citeshttps://doi.org/10.1109/isie.2001.931915openalex-snapshot
Design of PLCs for automated industrial systems based on discrete event models
inferred← citeshttps://doi.org/10.1109/mmar.2016.7575114openalex-snapshot
Transformation of a fuzzy interpreted Petri net diagram into structured text code
inferred← citeshttps://doi.org/10.1109/sami50585.2021.9378673openalex-snapshot
Petri net implementation in programmable logic controllers: methodology for development and validation
inferred← citeshttps://doi.org/10.1109/tac.2014.2332238openalex-snapshot
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
inferred← citeshttps://doi.org/10.1109/tase.2013.2281733openalex-snapshot
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers
inferred← citeshttps://doi.org/10.1109/tcst.2006.890281openalex-snapshot
On the Implementation of Supervised Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tie.2005.855694openalex-snapshot
An Application of Petri Nets to Supervisory Control for Human–Computer Interactive Systems
inferred← citeshttps://doi.org/10.1109/tie.2012.2225393openalex-snapshot
Bayesian-Network-Based Reliability Analysis of PLC Systems
inferred← citeshttps://doi.org/10.1109/tsmc.2016.2647219openalex-snapshot
Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets
inferred← citeshttps://doi.org/10.1109/tsmcc.2004.829286openalex-snapshot
Ladder Diagram and Petri-Net-Based Discrete-Event Control Design Methods
inferred← citeshttps://doi.org/10.1109/tsmcc.2006.876056openalex-snapshot
Implementation of a Remote Hierarchical Supervision System Using Petri Nets and Agent Technology
inferred← citeshttps://doi.org/10.1115/imece2014-38274openalex-snapshot
Localized Decision-Making for Materials Transportation Systems Subject to Stochastic Uncertainty
inferred← citeshttps://doi.org/10.1155/2017/1395142openalex-snapshot
An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets
inferred← citeshttps://doi.org/10.1177/1687814017733242openalex-snapshot
A supervisory control strategy for the detection and restoration of power transmission failures during peak periods using Petri nets
inferred← citeshttps://doi.org/10.14569/ijacsa.2022.01309106openalex-snapshot
Building an Intelligent Tutoring System for Learning Polysemous Words in Moore
inferred← citeshttps://doi.org/10.1504/ijcat.2007.015704openalex-snapshot
Development of an auto-painting technology for dental burs
inferred← citeshttps://doi.org/10.1515/jisys.2002.12.2.69openalex-snapshot
Constructing Petri Net State Equation for Ladder Diagram
inferred← citeshttps://doi.org/10.1541/ieejeiss1987.122.7_1202openalex-snapshot
Hardware Petri Nets on Programmable Devices
inferred← citeshttps://doi.org/10.18805/ajdfr.dr-1856openalex-snapshot
An Insight in to the Automation of the Dairy Industry: A Review
inferred← citeshttps://doi.org/10.22201/icat.24486736e.2023.21.2.1562openalex-snapshot
Design of an Integrated Automation & Control System Using Petri Nets: Case Study
inferred← citeshttps://doi.org/10.22517/23447214.18591openalex-snapshot
Redes de Petri en la automatización de una máquina tampográfica de plásticos
inferred← citeshttps://doi.org/10.3182/20080706-5-kr-1001.01786openalex-snapshot
Modeling of Programs and its Verification for Programmable Logic Controllers
inferred← citeshttps://doi.org/10.3182/20091006-3-es-4010.00016openalex-snapshot
Ladder diagram implementation of Control Interpreted Petri Nets: a state equation approach
inferred← citeshttps://doi.org/10.3182/20100830-3-de-4013.00056openalex-snapshot
Fail-Safe Signalization Design for a Railway Yard: A Level Crossing Case
inferred← citeshttps://doi.org/10.3390/app11157161openalex-snapshot
Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers
inferred← citeshttps://doi.org/10.3390/app7040422openalex-snapshot
A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems
inferred← citeshttps://doi.org/10.3906/elk-1110-29openalex-snapshot
An improved hybrid approach for the PLC-based implementation of reduced RW supervisors
inferred← citeshttps://doi.org/10.7166/30-1-1849openalex-snapshot
DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
inferred← citeshttps://doi.org/10.7315/jcde.2014.021openalex-snapshot
Survey on the virtual commissioning of manufacturing systems
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.