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

References

Page 1

	Year	Citations
Petri Net theory and the modeling of systems Mathematics and Computers in Simulation Petri NetSystem Of SystemEngineeringStochastic Petri NetPetri Net Theory	1982	3.6K
Performance Analysis Using Stochastic Petri Nets Molloy IEEE Transactions on Computers Petri NetEngineeringK-bounded Petri NetsIndustrial EngineeringNetwork Communication Protocol	1982	1.1K
Recoverability of Communication Protocols--Implications of a Theoretical Study Philip M. Merlin, David Farber IRE Transactions on Communications Systems Petri NetEngineeringVerificationFormal RepresentationCommunication	1976	868
Structured Analysis (SA): A Language for Communicating Ideas Douglas T. Ross IEEE Transactions on Software Engineering EngineeringSemanticsSyntaxDocument AnalysisComputational Linguistics	1977	862
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets C. V. Ramamoorthy, G.S. Ho IEEE Transactions on Software Engineering Petri NetPetri Net ModelEngineeringReal-time System DesignComputer Architecture	1980	561
A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing Guy Cohen, D. Dubois, Jean-Pierre Quadrat, IEEE Transactions on Automatic Control EngineeringIndustrial EngineeringLinear-system-theoretic ViewDiscrete-event SystemPeriodical Behavior	1985	535
A proposed hierarchical control model for automated manufacturing systems Albert Jones, Charles R. McLean Journal of Manufacturing Systems EngineeringIndustrial EngineeringAutomationProcess ControlAutomated Manufacturing Systems	1986	277
The automated manufacturing research facility of the national bureau of standards J. A. Simpson, R.J. Hocken, James S. Albus Journal of Manufacturing Systems EngineeringDesignDigital ManufacturingAutomationManufacturing Planning	1982	257
Use of Petri Nets for Performance Evaluation Joseph Sifakis International Symposium on Computer Modeling, Measurement and Evaluation Petri NetEngineeringIndustrial EngineeringStochastic Petri NetComputer Engineering	1977	228
A Petri net approach to the modelling and analysis of flexible manufacturing systems Y. Narahari, N. Viswanadham Annals of Operations Research Petri NetIndustrial DesignEngineeringPetri Net ApproachIndustrial Engineering	1985	226

Page 1