Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540186662

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finitely Recursive Processes

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042301 ◽

2006 ◽

pp. 1-18

Author(s):

Kemal Inan ◽

Pravin Varaiya

Using trace theory to model discrete events

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042306 ◽

2006 ◽

pp. 81-99 ◽

Cited By ~ 8

Author(s):

Rein Smedinga

Keyword(s):

Discrete Events ◽

Trace Theory

Analog events and a dual computing structure using analog and digital circuits and operators

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042315 ◽

2006 ◽

pp. 225-238 ◽

Cited By ~ 15

Author(s):

Tamás Roska

Keyword(s):

Digital Circuits ◽

Analog And Digital Circuits ◽

Computing Structure

A hierarchical framework for discrete event scheduling in manufacturing systems

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042313 ◽

2006 ◽

pp. 197-216 ◽

Cited By ~ 8

Author(s):

Stanley B. Gershwin

Keyword(s):

Manufacturing Systems ◽

Discrete Event ◽

Hierarchical Framework ◽

Event Scheduling

Protocol verification using discrete-event models

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042307 ◽

2006 ◽

pp. 100-114

Author(s):

Michał Sajkowski

Keyword(s):

Discrete Event ◽

Protocol Verification ◽

Event Models

Analysis and control of discrete event systems represented by petri nets

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042308 ◽

2006 ◽

pp. 115-134 ◽

Cited By ~ 58

Author(s):

Atsunobu Ichikawa ◽

Kunihiko Hiraishi

Keyword(s):

Petri Nets ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

And Control

Supervisory control of discrete event systems: A survey and some new results

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042305 ◽

2006 ◽

pp. 69-80 ◽

Cited By ~ 5

Author(s):

Peter J. Ramadge

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

A tool for the automated verification of eccs specifications of osi protocols

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042304 ◽

2006 ◽

pp. 57-68 ◽

Cited By ~ 1

Author(s):

Vincenza Carchiolo ◽

Alberto Faro

Keyword(s):

Automated Verification

Representation, analysis and simulation of manufacturing systems by Petri net based models

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042311 ◽

2006 ◽

pp. 162-178 ◽

Cited By ~ 5

Author(s):

Francesco Archetti ◽

Anna Sciomachen

Keyword(s):

Petri Net ◽

Manufacturing Systems

A selected and annotated bibliography on perturbation analysis

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042314 ◽

2006 ◽

pp. 217-224

Author(s):

Y. C. Ho

Keyword(s):

Perturbation Analysis ◽

Annotated Bibliography

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information SciencesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Finitely Recursive Processes

Using trace theory to model discrete events

Analog events and a dual computing structure using analog and digital circuits and operators

A hierarchical framework for discrete event scheduling in manufacturing systems

Protocol verification using discrete-event models

Analysis and control of discrete event systems represented by petri nets

Supervisory control of discrete event systems: A survey and some new results

A tool for the automated verification of eccs specifications of osi protocols

Representation, analysis and simulation of manufacturing systems by Petri net based models

A selected and annotated bibliography on perturbation analysis

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences
Latest Publications