On the public citation graph

A rule-based system for generating a ladder logic control program from a high-level systems model

https://doi.org/10.1007/bf00572403
0 signed · 94 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-08921-7_95openalex-snapshot
Structural properties of petri nets
inferredcites →https://doi.org/10.1007/3-540-10001-6_24openalex-snapshot
Linear algebra in net theory
inferredcites →https://doi.org/10.1007/3-540-56883-2_5openalex-snapshot
Modeling a NORAD Command Post using SADT and Colored Petri Nets
inferredcites →https://doi.org/10.1007/978-1-4757-1388-6_18openalex-snapshot
A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems
inferredcites →https://doi.org/10.1007/bf01313698openalex-snapshot
An architecture for a shop-floor controller using colored Petri nets
inferredcites →https://doi.org/10.1007/bf02023780openalex-snapshot
A Petri net approach to the modelling and analysis of flexible manufacturing systems
inferredcites →https://doi.org/10.1007/bf02248590openalex-snapshot
Dynamic analysis of repetitive decision-free discreteevent processes: The algebra of timed marked graphs and algorithmic issues
inferredcites →https://doi.org/10.1007/bf03543074openalex-snapshot
Dynamic analysis of repetitive decision-free discrete—Event processes: Applications to production systems
inferredcites →https://doi.org/10.1007/bfb0016211openalex-snapshot
Application of an extension of petri nets to modelization of control and production processes
inferredcites →https://doi.org/10.1007/bfb0046839openalex-snapshot
Linear algebraic techniques for place/transition nets
inferredcites →https://doi.org/10.1016/0165-6074(88)90129-9openalex-snapshot
An application of petri-nets in the control system of the FTC
inferredcites →https://doi.org/10.1016/0278-6125(86)90043-9openalex-snapshot
Synchronization of operations in a flexible manufacturing cell: The Petri net approach
inferredcites →https://doi.org/10.1016/0278-6125(86)90064-6openalex-snapshot
A proposed hierarchical control model for automated manufacturing systems
inferredcites →https://doi.org/10.1016/0378-4754(82)90066-0openalex-snapshot
Petri Net theory and the modeling of systems
inferredcites →https://doi.org/10.1016/j.jmatprotec.2004.07.055openalex-snapshot
Advanced manufacturing engineering
inferredcites →https://doi.org/10.1016/s0278-6125(82)80064-2openalex-snapshot
The automated manufacturing research facility of the national bureau of standards
inferredcites →https://doi.org/10.1016/s1474-6670(17)62804-0openalex-snapshot
Programmable Logic Controllers and Petri Nets: A Comparative Study
inferredcites →https://doi.org/10.1057/jors.1962.10openalex-snapshot
Describing Industrial Processes with Interference and Approximating Their Steady-State Behaviour
inferredcites →https://doi.org/10.1080/03155986.1987.11732025openalex-snapshot
Distributed Planning In Cellular Flexible Manufacturing Systems
inferredcites →https://doi.org/10.1080/05695558008974503openalex-snapshot
Control and Decision Support in Automatic Manufacturing Systems
inferredcites →https://doi.org/10.1080/05695558008974527openalex-snapshot
Artificial Intelligence in Manufacturing Planning and Control
inferredcites →https://doi.org/10.1080/05695558308974659openalex-snapshot
An Algorithm for the Computer Control of a Flexible Manufacturing System
inferredcites →https://doi.org/10.1080/07408178808966148openalex-snapshot
Toward Knowledge-Based Control Of Flexible Manufacturing Systems
inferredcites →https://doi.org/10.1109/cdc.1983.269683openalex-snapshot
Using Petri nets to represent production processes
inferredcites →https://doi.org/10.1109/icsmc.1991.169708openalex-snapshot
Modeling and control information flow for a CIM system using colored Petri nets
inferredcites →https://doi.org/10.1109/icsmc.1992.271665openalex-snapshot
Functional and performance analysis of time Petri nets
inferredcites →https://doi.org/10.1109/robot.1986.1087711openalex-snapshot
Models for simulation and discrete control of manufacturing systems
inferredcites →https://doi.org/10.1109/robot.1987.1087773openalex-snapshot
Implementation of a Petri net controller for a machining workstation
inferredcites →https://doi.org/10.1109/robot.1987.1087778openalex-snapshot
Coloured Petri net models for automated manufacturing systems
inferredcites →https://doi.org/10.1109/robot.1987.1087858openalex-snapshot
Joining Petri nets and knowledge based systems for monitoring purposes
inferredcites →https://doi.org/10.1109/robot.1987.1087859openalex-snapshot
Petri-net based simulation of manufacturing cells
inferredcites →https://doi.org/10.1109/tac.1985.1103925openalex-snapshot
A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
inferredcites →https://doi.org/10.1109/tc.1982.1676110openalex-snapshot
Performance Analysis Using Stochastic Petri Nets
inferredcites →https://doi.org/10.1109/tcom.1976.1093424openalex-snapshot
Recoverability of Communication Protocols--Implications of a Theoretical Study
inferredcites →https://doi.org/10.1109/tie.1986.351700openalex-snapshot
A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation
inferredcites →https://doi.org/10.1109/tie.1987.351000openalex-snapshot
A Methodology of Specification and Implementation of Distributed Discrete Control Systems
inferredcites →https://doi.org/10.1109/tse.1977.229900openalex-snapshot
Structured Analysis (SA): A Language for Communicating Ideas
inferredcites →https://doi.org/10.1109/tse.1980.230492openalex-snapshot
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
inferredcites →https://doi.org/10.1115/1.3187856openalex-snapshot
Manufacturing Engineering
inferredcites →https://doi.org/10.1145/356698.356702openalex-snapshot
Petri Nets
inferredcites →https://doi.org/10.1201/9780367367237openalex-snapshot
Mathematical Foundation of Computer Science
inferredcites →https://doi.org/10.21236/ada150326openalex-snapshot
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
inferredcites →https://doi.org/10.5860/choice.27-2737openalex-snapshot
Computer control of machines and processes

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-1-4615-2045-0_7openalex-snapshot
Supervisory control of manufacturing systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-2231-7_12openalex-snapshot
Supervisory Control Specification and Synthesis
inferred← citeshttps://doi.org/10.1007/bf01179083openalex-snapshot
Adapting IDEF0 modelling to perform manufacturing diagnosis
inferred← citeshttps://doi.org/10.1007/bf01438224openalex-snapshot
Discrete event control system design using automation Petri nets and their ladder diagram implementation
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-007-1306-3openalex-snapshot
A PLC programming environment based on a virtual plant
inferred← citeshttps://doi.org/10.1007/s00170-013-5209-1openalex-snapshot
A reverse engineering approach to generate a virtual plant model for PLC simulation
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.1016/0951-5240(95)00032-1openalex-snapshot
Object-oriented Petri nets for modelling and analysis of automated manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.advengsoft.2004.11.002openalex-snapshot
Automated synthesis of Ladder automation circuits based on state-diagrams
inferred← citeshttps://doi.org/10.1016/s0141-9331(99)00015-0openalex-snapshot
SFC++: a tool for developing distributed real-time control software
inferred← citeshttps://doi.org/10.1016/s0278-6125(97)85673-7openalex-snapshot
An implementation methodology for the supervisory control of flexible manufacturing workcells
inferred← citeshttps://doi.org/10.1016/s0278-6125(98)80025-3openalex-snapshot
Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets
inferred← citeshttps://doi.org/10.1016/s0736-5845(96)00015-4openalex-snapshot
Specification and design of logic controllers for automated manufacturing systems
inferred← citeshttps://doi.org/10.1016/s0947-3580(00)71111-3openalex-snapshot
A Contribution to the Validation of Grafcet Controlled Systems
inferred← citeshttps://doi.org/10.1016/s0967-0661(97)00225-6openalex-snapshot
Two methods for the engineering of manufacturing systems
inferred← citeshttps://doi.org/10.1016/s1018-3639(18)30766-9openalex-snapshot
Modeling Hierarchical Aspects of Flexible Manufacturing Systems Using IDEFO and SIMAN/ARENA
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44607-6openalex-snapshot
Transforming APNC into IEC 1131-3 Instruction Lists Using the TPL Methodology
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)47263-6openalex-snapshot
Fuzzy Petri Net Model for Real-Time Control
inferred← citeshttps://doi.org/10.1023/a:1008976319182openalex-snapshot
Moore Automata for the Supervisory Control of Robotic Manufacturing Workcells
inferred← citeshttps://doi.org/10.1023/a:1016020327884openalex-snapshot
A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation
inferred← citeshttps://doi.org/10.1049/cp:19980337openalex-snapshot
A case study in the automatic programming of a PLC based control system using Statemate statecharts
inferred← citeshttps://doi.org/10.1080/00207540802577961openalex-snapshot
Plant model generation for PLC simulation
inferred← citeshttps://doi.org/10.1080/00207543.2011.575097openalex-snapshot
Hardware-in-the-loop simulation for a production system
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/002075497194453openalex-snapshot
Design of a rule-based flexible manufacturing system controller using modified IDEF0 methodology
inferred← citeshttps://doi.org/10.1109/100.591642openalex-snapshot
Discrete event and hybrid systems in robotics and automation: an overview
inferred← citeshttps://doi.org/10.1109/37.482149openalex-snapshot
Application of discrete-event-system theory to flexible manufacturing
inferred← citeshttps://doi.org/10.1109/70.817669openalex-snapshot
Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets
inferred← citeshttps://doi.org/10.1109/cacsd.1996.555283openalex-snapshot
Design of discrete event control systems for programmable logic controllers using T-Timed Petri nets
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/etfa.1996.573978openalex-snapshot
Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams
inferred← citeshttps://doi.org/10.1109/etfa.1999.813128openalex-snapshot
Open control architecture for discrete manufacturing automation
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/icsmc.1994.399856openalex-snapshot
Issues surrounding supervisory control of batch manufacturing systems
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538182openalex-snapshot
Towards an IDEF0 based multi-view modeling methodology
inferred← citeshttps://doi.org/10.1109/icsmc.2000.886352openalex-snapshot
A hybrid PC/PLC architecture for manufacturing system control-implementation
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/tsmc.2025.3627806openalex-snapshot
The Evolution and Future Perspectives of Artificial Intelligence-Generated Content
inferred← citeshttps://doi.org/10.1109/tsmcc.2003.813147openalex-snapshot
Component and agent-based FMS modeling and controller synthesis
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/wodes.2002.1167715openalex-snapshot
Ladder logic implementation of Ramadge-Wonham supervisory controller
inferred← citeshttps://doi.org/10.1109/wsc.2008.4736071openalex-snapshot
PLCStudio: Simulation based PLC code verification
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.11591/ijeecs.v10.i3.pp905-916openalex-snapshot
Algorithm to Convert Signal Interpreted Petri Net Models to Programmable Logic Controller Ladder Logic Diagram Models
inferred← citeshttps://doi.org/10.11606/d.3.2006.tde-13122006-160942openalex-snapshot
Desenvolvimento de metodologia de aplicação de redes de Petri para automação de sistemas industriais com controladores lógicos programáveis (CLP).
inferred← citeshttps://doi.org/10.1177/1063293x14531423openalex-snapshot
Template-based modeling methodology of a virtual plant for virtual commissioning
inferred← citeshttps://doi.org/10.14201/gredos.76447openalex-snapshot
Modelado y control Neuroborroso de sistemas complejos. Aplicación a procesos de mecanizado de alto rendimiento
inferred← citeshttps://doi.org/10.3844/ajeassp.2011.252.264openalex-snapshot
Petri Nets and Ladder Logic for Fully-Automating and Programmable Logic Control of Semi-Automatic Machines and Systems
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.