http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
On some analysis problem of extended batch Petri nets
Atsushi Ohta,Kohkichi Tsuji 대한전자공학회 2009 ITC-CSCC :International Technical Conference on Ci Vol.2009 No.7
Petri net is a mathematical model for concurrent systems. In this paper, we suggest extended batch Petri net. Arc variables are introduced and arcs have weight of linear combination of these variables with nonnegative coefficients. When transition fires, maximum possible values are assigned to these variables. Analysis problems of batch Petri net are considered for this extended class of Petri net.
Computational complexity of state number calculation problem of some bounded classes of Petri net
Atsushi OHTA,Yuki FUKAYA,Kohkichi TSUJI 대한전자공학회 2015 ITC-CSCC :International Technical Conference on Ci Vol.2015 No.6
This paper studies computational complexity of state number decision problem of Petri net. The problem is to decide whether the number of reachable markings of a Petri net is greater than or equal to a given finite integer. It is shown that the problem is PSPACE complete for bounded Petri nets, NP- hard for acyclic free choice workflow nets and weighted state machines.
Ohta, Eisuke,Kobayashi, Hitoshi,Sakai, Atsushi,Matsui, Yasunori,Sato, Hiroyasu,Ikeda, Hiroshi Korean Society of Photoscience 2015 Rapid communication in photoscience Vol.4 No.2
Fluorescence (FL) properties of a novel donor-acceptor dyad, comprised of mesitylene and 1,4-dicyano-2-methylnaphthalene (DCMN) subunits connected by an ether linkage, were elucidated. The dyad in cyclohexane exhibits FL arising from an intramolecular exciplex. In the crystalline state, the dyad does not emit light from intra- and inter-molecular exciplexes but rather displays FL that is nearly equivalent to that of 2-methoxymethyl-substituted DCMN. However, the emission spectrum of the crystalline dyad contains a shoulder in the long wavelength region, suggesting that weak intercolumnar charge-transfer interactions take place between columns consisting of the mesitylene and DCMN subunits.