The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Les invariants des réseaux de Petri sont des caractéristiques algébriques fondamentales des réseaux de Petri et sont utilisés dans diverses situations, telles que la vérification (par nécessité) de la vivacité, du caractère limité, de la périodicité, etc. Tout réseau de Petri donné N a deux sortes d'invariants : a P-invariant est un |Pvecteur |-dimensionnel Y avec Yt
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copier
Toshimasa WATANABE, Satoshi TAOKA, "Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets" in IEICE TRANSACTIONS on Fundamentals,
vol. E92-A, no. 11, pp. 2707-2716, November 2009, doi: 10.1587/transfun.E92.A.2707.
Abstract: Invariants of Petri nets are fundamental algebraic characteristics of Petri nets, and are used in various situations, such as checking (as necessity of) liveness, boundedness, periodicity and so on. Any given Petri net N has two kinds of invariants: a P-invariant is a |P|-dimensional vector Y with Yt
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E92.A.2707/_p
Copier
@ARTICLE{e92-a_11_2707,
author={Toshimasa WATANABE, Satoshi TAOKA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets},
year={2009},
volume={E92-A},
number={11},
pages={2707-2716},
abstract={Invariants of Petri nets are fundamental algebraic characteristics of Petri nets, and are used in various situations, such as checking (as necessity of) liveness, boundedness, periodicity and so on. Any given Petri net N has two kinds of invariants: a P-invariant is a |P|-dimensional vector Y with Yt
keywords={},
doi={10.1587/transfun.E92.A.2707},
ISSN={1745-1337},
month={November},}
Copier
TY - JOUR
TI - Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2707
EP - 2716
AU - Toshimasa WATANABE
AU - Satoshi TAOKA
PY - 2009
DO - 10.1587/transfun.E92.A.2707
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E92-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2009
AB - Invariants of Petri nets are fundamental algebraic characteristics of Petri nets, and are used in various situations, such as checking (as necessity of) liveness, boundedness, periodicity and so on. Any given Petri net N has two kinds of invariants: a P-invariant is a |P|-dimensional vector Y with Yt
ER -