ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 長野工業高等専門学校紀要(ISSN 1882-9155)
  2. 第31号

LC-Petri Net expanded to be suitable for making FMS model

https://nagano-nct.repo.nii.ac.jp/records/344
https://nagano-nct.repo.nii.ac.jp/records/344
b48688db-f796-4813-b667-bd35e955cdb9
名前 / ファイル ライセンス アクション
nagano_nct-31-09.pdf nagano_nct-31-09.pdf (498.2 kB)
license.icon
Item type Departmental Bulletin Paper(1)
公開日 2013-02-19
タイトル
タイトル LC-Petri Net expanded to be suitable for making FMS model
言語 en
言語
言語 eng
キーワード
言語 en
主題Scheme Other
主題 coloured Petri net
キーワード
言語 en
主題Scheme Other
主題 extended Petri net
キーワード
言語 en
主題Scheme Other
主題 control software
キーワード
言語 en
主題Scheme Other
主題 system stability
キーワード
言語 en
主題Scheme Other
主題 CASE tools
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ departmental bulletin paper
著者 WASAKI, Katsumi

× WASAKI, Katsumi

WEKO 772

WASAKI, Katsumi

Search repository
FUWA, Yasushi

× FUWA, Yasushi

WEKO 773

FUWA, Yasushi

Search repository
EGUCHI, Masayoshi

× EGUCHI, Masayoshi

WEKO 774

EGUCHI, Masayoshi

Search repository
NAKAMURA, Yatsuka

× NAKAMURA, Yatsuka

WEKO 775

NAKAMURA, Yatsuka

Search repository
抄録
内容記述タイプ Abstract
内容記述 In this paper, we propose an extension of Petri nets (LC-Petri net: LCPN) suitable for FMS design and discuss its methods of evaluation. This LCPN is a marked net with addition of the following features: data assignment of marks, representation of firing conditions as logic equations, coupling of output procedures with transition firing, etc. Also, since the concept of transition firing evaluation orders is omitted from the analysis of conventional Petri nets, we introduce this concept formally in our proposed net. Finally, in order to study the behavior of a system modelled with this net, we provide a means for searching the reachability tree of markings. This LCPN is a extended Petri nets which solve a problem of description from Place/Transition Petri nets and Colored Petri nets before.
書誌情報 長野工業高等専門学校紀要

巻 31, p. 49-54, 発行日 1997-12-26
出版者
出版者 長野工業高等専門学校
ISSN
収録物識別子タイプ ISSN
収録物識別子 0286-1909
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00179170
フォーマット
内容記述タイプ Other
内容記述 application
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-20 16:10:26.766996
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3