Scientiae Mathematicae Japonicae
Online ISSN : 1346-0447
UNIQUENESS OF MINIMAL 1−SAFE PETRI NET GENERATING ALL THE BINARY n-VECTORS AS ITS MARKING VECTORS EXACTLY ONCE
Sangita Kansal, Mukti Acharya, Gajendra Pratap Singh
著者情報
キーワード: 1-safe Petri net, reachability tree, binary n-vector, marking vector, complete bipartite graph
ジャーナル フリー

2011 年 74 巻 2+3 号 p. 117-120

詳細
PDFをダウンロード (104K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2011 International Society for Mathematical Sciences
次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top