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

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):

Petri Nets ◽

High Level

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 ◽

Cited By ~ 6

Author(s):

Martin Fabian ◽

Anders Hellgren

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

And Control

Download Full-text

Structurally Safe Net Systems

Discrete Event Systems ◽

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

2000 ◽

pp. 441-448 ◽

Cited By ~ 2

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 ◽

Cited By ~ 3

Author(s):

A. Lüder ◽

H.-M. Hanisch

Keyword(s):

Petri Nets ◽

Partial Order

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 1

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):

Explicit Model

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 ◽

Cited By ~ 1

Author(s):

Euisu Park ◽

Dawn M. Tilbury ◽

Pramod P. Khargonekar

Keyword(s):

Petri Nets ◽

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

Optimal Token Allocation in Timed Cyclic Event—Graphs

Discrete Event Systems ◽

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

2000 ◽

pp. 209-218 ◽

Cited By ~ 4

Author(s):

Alessandro Giua ◽

Aldo Piccaluga ◽

Carla Seatzu

Keyword(s):

Cyclic Event

Download Full-text