IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 107, Number 119

Concurrent Systems Technology

Workshop Date : 2007-06-29 / Issue Date : 2007-06-22

[PREV] [NEXT]

[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

CST2007-6
Introduction to control of discrete event systems based on a language measure
Tatsushi Yamasaki (Setsunan Univ.)
pp. 1 - 6

CST2007-7
Existence condition of priority based nondeterministic supervisory control
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.)
pp. 7 - 12

CST2007-8
Analysis of a manufacturing system with stochastic demand
Kenichi Nakashima (OIT), Takeshi Itoh (Tohoku Univ.)
pp. 13 - 14

CST2007-9
An algorithm to enumerate all the elementary T-invariants of auto-generated Petri nets
Ryo Yamaguchi, Ryosuke Murakami, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)
pp. 15 - 20

CST2007-10
Improving Firing Sequence Search for the Marking Construction Problem of Petri Net
Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 21 - 26

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan