Volume 23, Issue 1, March 2013

ISSN: 0924-6703 (Print) 1573-7594 (Online)

In this issue (5 articles)

  1. Announcement

    Welcome Announcement

    Page 1
    Download PDF (46KB) View Article

  2. No Access

    OriginalPaper

    An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

    Mi Zhao, Yifan Hou Pages 3-26
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Using logic to solve the submodule construction problem

    Gregor v. Bochmann Pages 27-59
    Look Inside Get Access

  4. No Access

    OriginalPaper

    A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization

    Wen-Chiao Lin, Humberto E. Garcia, Tae-Sic Yoo Pages 61-91
    Look Inside Get Access

  5. OriginalPaper

    A functional approximation for the M/G/1/N queue

    Karim Abbas, Bernd Heidergott, Djamil Aïssani Pages 93-104
    Download PDF (317KB) View Article