可達判定条件が既知であるサブクラス定義に反する閉路検知機能を有するペトリネット解析ツールの開発

机译：具有封闭代码检测功能的Petri Net分析工具的开发控制到子类定义，其中已知变量判断条件

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

ペトリネット(Petri Net) とは，事象発生の並列性，非同期性，非決定性を有する離散事象システムの振る舞いを表す数学モデルである[1]．ペトリネットの動的性質の解析における重要な概念の一つに可達性がある．可達性の解析方法として，可達判定条件が判明しているサブクラスペトリネットを利用する方法[2] が知られている．

机译：Petri网（Petri网），事件的并行性发生，非同步，离散事件系统的行为与非确定性这是一个代表[1]的数学模型。 Petri网的动态性质在分析的分析中最重要的概念之一就可以了解。可达性作为一种分析性的方法，发现了副到达性测定条件如何使用Clast Petri网[2]所知。

著录项

来源
《電子情報通信学会;情報科学技術フォーラム》|2020年|47-48|共2页
会议地点
作者
渡貫正也; 和崎克己;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
专利

1. スイスの朋に遅い込まれたケツピ・ヨ「ロ〟サッピ・ファインペーパー・ヨーロッパは、スイスのピーベリスト印刷用紙工場を永久的に閉鎖する。年産諭万どの同工場では、すべての製品の製造を8月末に打ち切る。同社はかねて、ピーベリスト工場の閉鎖を検討しており、従業員代表や共同出資者との協議を3月末に始めると発表していた。　欧州の上質コート紙および上質紙市場では慢性的な設備過剰が災いして、サッピは原燃料コストの急激な上昇を製品価格に転嫁できずにいる。ピーベリスト工場では上質紙を6号抄紙機で年間6万5，0∝）f、8号機で同16万と、9号機で27万5，昭）f生産しているが、かなり以前から満足すべき収益を上げられない状況にある。 [J] . ワ—ルドパルプアンドペ—パ—． . 2011,第32期

机译：已故瑞士的已故Ketspi Yo“ Rossappi Fine Paper Europe”永久关闭了位于瑞士的Piberist印刷厂。所有产品的年产量将于8月底在同一家工厂停产。该公司长期以来一直在考虑关闭Piberist工厂，并宣布将于3月底开始与员工代表和联合创始人进行谈判。在欧洲的高质量铜版纸和高质量纸市场中，由于长期产能过剩，Sappi无法将原燃料成本的急剧上升转嫁到产品价格上。在Piberist工厂，第六号造纸机每年的产量为65,0∝）f，第八号造纸机的年产量为160,000，而九号造纸机的年产量为275，a）f。我们处在无法提高应有利润的情况下。
2. NTTら業界団体を設立光通信技術を研究日本電信電話(株)(NTT、東京都千代田区)、米インテル、ソ二ー(株)(東京都港区)の3社は、新たな業界団体を設立する。光電融合技術を活用したフォトニクス関連技術の研究開発などを推進し、超大容量通信に対応できる光ネットヮーク技術の確立などを目指してハる。3-3プロセッシング領域狙う国内DRAM大手のェルピーダメモリを買収し、大きく飛躍を遂げた米マイクロンテクノロジー。2017年にはサンディスク共同創業者の1人である、Sanjay Mehrotra (サンジエイ·メイロトラ)氏を招聘。経営体制も刷新され、大きく生まれ変わった「新生マイクロン」を全面に押し出した。米サンフランシスコで開催されたプライベートイベント「MlicronInsight 2019」(現地10月24日開催)では、同社のあるべき将来像に対するメッセージが随所に散りばめられていた。 [J] . 半導体産業新聞 . 2019,第2372期

机译：成立了NTT和其他工业集团研究光通信技术的日本电报电话公司（NTT，东京千代田区），英特尔，索尼公司（东京都港区）是三个新的工业集团。建立。促进利用光电子融合技术的光子相关技术的研究和开发，并致力于建立可支持超高容量通信的光网络技术。 3-3处理领域美国Micron Technology在收购了国内主要DRAM公司Elpida Memory之后取得了巨大飞跃。 2017年，我们邀请了Sanjay联合创始人Sanjay Mehrotra。管理系统也进行了改进，我们推出了完全脱胎换骨的“新Micron”。在旧金山举行的私人活动“ Mlicron Insight 2019”（10月24日举行）上，有关公司未来愿景的信息四处散布。
3. OPEC総会コミュニケ（仮訳）石油輸出国機構第163回（定例）総会は、総会議長代行のリビアの石油·ガス大臣で代表団長であるアブドゥル·バリ·アリ·アル·アローシ博士閣下のもと、2013年5月31日にオーストリア·ウィーンで開催された。総会はぺドロ·メリザルデ·パヴオ閣下、ムスタフア·アル·シヤマリ閣下、スハイル·モハメド·アル·マズルーイ閣下が、それぞれエクアドルの非再生可能天然資源大臣、クウェートの石油大臣代行、UAEのエネルギー大臣に任命されたことを祝福するとともに、彼らの前任者であるウイルソン·パストール·モリス閣下、ハニ·アブドゥラジズ·ハツサン閣下、モハメド·ビン·ダーン·アル·ハムリ閣下が機構に対して行った功績に謝辞を表明した。 [J] . オイル·リポ－ト Group オイル·リポ－ト . 2013,第1606期

机译：欧佩克大会公报石油输出国组织第163届大会在阿卜杜勒·巴厘·阿里·阿尔·阿罗希（Abdul Bali Ali Al Aroshi）博士的领导下，阿卜杜勒·巴厘·阿里·阿尔·阿罗希（Abdul Bali Ali Al Aroshi）担任大会代理主席兼利比亚石油和天然气部长代表团团长。它于2013年5月31日在奥地利维也纳举行。在大会上，佩德罗·梅利扎德·帕沃uo下，穆斯塔瓦·西亚马里Ma下和苏哈伊尔·穆罕默德·马祖鲁伊Ma下分别被任命为厄瓜多尔不可再生自然资源部长，科威特石油代理部长和阿联酋能源部长。恭喜并感谢他们的前任威尔逊Ma下牧师莫里斯His下，哈尼·阿卜杜拉齐兹·哈桑san下和穆罕默德·本·达安·哈姆里je下在联合国的工作。做到了。
4. サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析 [C] . 渡貫正也, 張江洋次朗, 和崎克己情報処理学会;情報処理学会全国大会 . 2020

机译：使用违反子类定义的循环检测对Petri网进行详细分析
5. 無線センサネットワークにおけるカッコウ探索とファシ?ーアルコ?リス?ムを用いたクラスタリンク?フ?ロトコルの提案利用統計は来月からご利用いただけます [D] . 井戸千晴 2019

机译：从下个月起将提供使用布谷鸟搜索和简化算法在无线传感器网络中的群集链接协议的使用建议统计数据
6. テレビパソコンをインターネットを介して操作することにより、海外において国内のテレビ番組の録画・視聴を可能とするサービスを提供する業者に対し、同サービスにおける複製の主体であり、放送局の著作隣接権を侵害していると認定した事例 : 録画ネット事件知財高裁決定 [O] . 平田真己, Hirata Masaki 2006

机译：对于通过互联网操作电视个人计算机而能够在海外录制和观看国内电视节目的服务的提供者来说，它是这项服务中重复的主体，也是广播电台的版权邻接权。被发现侵权的案件：记录在案的净案IP高等法院判决

可達判定条件が既知であるサブクラス定義に反する閉路検知機能を有するペトリネット解析ツールの開発

摘要

著录项

相似文献

相关主题

期刊订阅