論文の概要: Formal Translation from Reversing Petri Nets to Coloured Petri Nets
- arxiv url: http://arxiv.org/abs/2311.00629v1
- Date: Wed, 1 Nov 2023 16:28:38 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-02 13:06:48.664443
- Title: Formal Translation from Reversing Petri Nets to Coloured Petri Nets
- Title(参考訳): 逆ペトリネットからカラーペトリネットへの形式的翻訳
- Authors: Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou,
Marcin Piatkowski, Kyriaki Psara
- Abstract要約: ペトリネットの逆転は、最近提案されたペトリネットの拡張であり、バックトラック、因果逆転、因果逆転の3つの主要な可逆性を実装している。
我々は,トークンがデータ値を運ぶ従来のペトリネットの拡張であるColoured Petri Nets (CPNs) モデルに,RPNのサブクラスから構造的変換を提案する。
本稿では,同一型の複数のトークンをシステム内に存在させるモデルである個別トークン解釈の下で,RPNをトークン乗法で扱うように拡張する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Reversible computation is an emerging computing paradigm that allows any
sequence of operations to be executed in reverse order at any point during
computation. Its appeal lies in its potential for lowpower computation and its
relevance to a wide array of applications such as chemical reactions, quantum
computation, robotics, and distributed systems. Reversing Petri nets are a
recently-proposed extension of Petri nets that implements the three main forms
of reversibility, namely, backtracking, causal reversing, and
out-of-causal-order reversing. Their distinguishing feature is the use of named
tokens that can be combined together to form bonds. Named tokens along with a
history function, constitute the means of remembering past behaviour, thus,
enabling reversal. In recent work, we have proposed a structural translation
from a subclass of RPNs to the model of Coloured Petri Nets (CPNs), an
extension of traditional Petri nets where tokens carry data values. In this
paper, we extend the translation to handle RPNs with token multiplicity under
the individual-token interpretation, a model which allows multiple tokens of
the same type to exist in a system. To support the three types of
reversibility, tokens are associated with their causal history and, while
tokens of the same type are equally eligible to fire a transition when going
forward, when going backwards they are able to reverse only the transitions
they have previously fired. The new translation, in addition to lifting the
restriction on token uniqueness, presents a refined approach for transforming
RPNs to CPNs through a unifying approach that allows instantiating each of the
three types of reversibility. The paper also reports on a tool that implements
this translation, paving the way for automated translations and analysis of
reversible systems using CPN Tools.
- Abstract(参考訳): 可逆計算は、計算中の任意の時点において、任意の操作列を逆順に実行可能にする、新たなコンピューティングパラダイムである。
その魅力は、低消費電力計算の可能性と、化学反応、量子計算、ロボット工学、分散システムなど、幅広いアプリケーションとの関連にある。
ペトリネットの逆転は、最近提案されたペトリネットの拡張であり、バックトラック、因果逆転、因果逆転の3つの主要な可逆性を実装している。
彼らの特徴は、結合を形成するために組み合わせられる名前付きトークンの使用である。
名前付きトークンと履歴関数は過去の振る舞いを記憶する手段を構成し、逆転を可能にする。
近年の研究では,トークンがデータ値を運ぶ従来のペトリネットの拡張であるColoured Petri Nets (CPNs) モデルに,RPNのサブクラスから構造的変換を提案する。
本稿では,同一型の複数のトークンをシステム内に存在することを許容するモデルである個別分岐解釈の下で,トークン多重性を持つrpnを扱うよう拡張する。
3種類の可逆性をサポートするために、トークンはその因果履歴に関連付けられ、同じタイプのトークンは前進するときに同様に遷移を起動するが、後方に進むと、以前に発射した遷移だけを逆転することができる。
新しい翻訳はトークンの特異性を制限することに加えて、RPNをCPNに変換するための洗練されたアプローチを示し、これら3種類の可逆性をインスタンス化することができる。
また、この翻訳を実装したツールについて報告し、CPNツールを用いた自動翻訳と可逆システムの解析を行う。
関連論文リスト
- Retro-FPN: Retrospective Feature Pyramid Network for Point Cloud
Semantic Segmentation [65.78483246139888]
本稿では,各点特徴量の予測を明示的かつふりかえり的な精錬プロセスとしてモデル化するRetro-FPNを提案する。
その重要な斬新さは、前層から意味コンテキストを要約するレトロ・トランスフォーマーである。
Retro-FPNは最先端のバックボーンよりも性能が大幅に向上することを示す。
論文 参考訳(メタデータ) (2023-08-18T05:28:25Z) - Sentence Embedding Leaks More Information than You Expect: Generative
Embedding Inversion Attack to Recover the Whole Sentence [37.63047048491312]
本稿では,文の埋め込みのみに基づいて入力シーケンスを再構築することを目的とした,ジェネレーティブな埋め込み反転攻撃(GEIA)を提案する。
言語モデルへのブラックボックスアクセスを考えると、文の埋め込みを初期トークンの表現として扱い、列を直接デコードするために強力なデコーダモデルを訓練または微調整する。
論文 参考訳(メタデータ) (2023-05-04T17:31:41Z) - Principled Paraphrase Generation with Parallel Corpora [52.78059089341062]
ラウンドトリップ機械翻訳によって引き起こされる暗黙の類似性関数を形式化する。
一つのあいまいな翻訳を共有する非パラフレーズ対に感受性があることが示される。
この問題を緩和する別の類似度指標を設計する。
論文 参考訳(メタデータ) (2022-05-24T17:22:42Z) - Improving language models by retrieving from trillions of tokens [50.42630445476544]
大規模コーパスから取得した文書チャンクを条件付けすることで,自動回帰言語モデルを強化する。
2兆ドルのトークンデータベースで、Retrieval-Enhanced Transformer (RETRO)は、PileのGPT-3とJurassic-1に匹敵するパフォーマンスを得る。
論文 参考訳(メタデータ) (2021-12-08T17:32:34Z) - Acyclic and Cyclic Reversing Computations in Petri Nets [0.0]
可逆計算は、計算中の任意の時点において逆順に実行することで、実行された操作の任意のシーケンスを無効にすることが可能な、従来にない計算形式を構成する。
我々は,Reversing Petri Nets (RPNs) を有界なColoured Petri Nets (CPNs) に変換する構造的手法を提案した。
RPNでは3つの逆転意味論が可能である: バックトラック(最近実行されたアクションの逆転)、因果逆転(すべての効果が無効になった場合にのみ作用が逆転できる)、因果逆転(以前に実行されたアクションは逆転できる)。
論文 参考訳(メタデータ) (2021-08-04T16:50:14Z) - Duplex Sequence-to-Sequence Learning for Reversible Machine Translation [53.924941333388155]
機械翻訳のようなシーケンス・ツー・シーケンス(seq2seq)問題は双方向である。
我々は、em二重化seq2seqニューラルネットワークを提案し、機械翻訳に適用する。
広く使用されている機械翻訳ベンチマークの実験は、REDERがリバーシブル機械翻訳の最初の成功を達成することを検証します。
論文 参考訳(メタデータ) (2021-05-07T18:21:57Z) - Neural Syntactic Preordering for Controlled Paraphrase Generation [57.5316011554622]
私たちの研究は、構文変換を使用して、ソース文をソフトに"リオーダー"し、神経パラフレージングモデルをガイドします。
まず、入力文が与えられた場合、エンコーダ・デコーダモデルを用いて、実行可能な構文再構成のセットを導出する。
次に、提案した各再構成を用いて位置埋め込みのシーケンスを生成し、最終的なエンコーダ-デコーダパラフレーズモデルが特定の順序でソース語に従属することを奨励する。
論文 参考訳(メタデータ) (2020-05-05T09:02:25Z) - Non-Autoregressive Machine Translation with Disentangled Context
Transformer [70.95181466892795]
最先端のニューラルネットワーク翻訳モデルは、左から右への翻訳を生成し、各ステップは以前に生成されたトークンに条件付けされる。
本研究では,異なるコンテキストのトークンを同時に生成するDisentangled Context (DisCo) 変換器を提案する。
本モデルでは,非自己回帰型機械翻訳技術と比較して性能が向上する一方,デコーディング時間の平均は大幅に減少する。
論文 参考訳(メタデータ) (2020-01-15T05:32:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。