Discrete Event Systems
Latest Publications

TOTAL DOCUMENTS

55

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer US

9781461370253, 9781461544937

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling and Analyzing Systems with Recursive Petri Nets

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_48 ◽

2000 ◽

pp. 449-458 ◽

Author(s):

Serge Haddad ◽

Denis Poitrenaud

Keyword(s):

Download Full-text

Modular Reachability Analyzer for High-Level Petri Nets

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_53 ◽

2000 ◽

pp. 477-478

Author(s):

Marko Mäkelä

Keyword(s):

Download Full-text

Desco — a Tool for Education and Control of Discrete Event Systems

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_51 ◽

2000 ◽

pp. 471-472 ◽

Author(s):

Martin Fabian ◽

Anders Hellgren

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Structurally Safe Net Systems

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_47 ◽

2000 ◽

pp. 441-448 ◽

Author(s):

F. García-Vallés ◽

F. Tricas ◽

J. Ezpeleta ◽

J. M. Colom

Download Full-text

Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_43 ◽

2000 ◽

pp. 409-420 ◽

Author(s):

A. Lüder ◽

H.-M. Hanisch

Keyword(s):

Download Full-text

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_4 ◽

2000 ◽

pp. 49-56 ◽

Author(s):

Peter Buchholz ◽

Peter Kemper

Keyword(s):

Efficient Computation ◽

Reachability Sets

Download Full-text

Fair Control of ω-Automata

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_37 ◽

2000 ◽

pp. 355-362 ◽

Author(s):

Hsu-Chun Yen

Download Full-text

Verification of IL Programs with an Explicit Model of their PLC Execution

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_29 ◽

2000 ◽

pp. 283-290

Author(s):

Heinz Treseler ◽

Nanette Bauer ◽

Stefan Kowalewski

Keyword(s):

Download Full-text

Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems Using Petri Nets and SFC

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_27 ◽

2000 ◽

pp. 265-274 ◽

Author(s):

Euisu Park ◽

Dawn M. Tilbury ◽

Pramod P. Khargonekar

Keyword(s):

Modeling Analysis ◽

Logic Controllers

Download Full-text

A Limit Semantics for Timed PN

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_22 ◽

2000 ◽

pp. 219-226

Author(s):

Bruno Gaujal ◽

Stefan Haar

Download Full-text