An Algebraic Criterion for State Machine Allocatable Nets

Atsushi OHTA; Tomiji HISAMURA

Copy

Atsushi OHTA, Tomiji HISAMURA, "An Algebraic Criterion for State Machine Allocatable Nets" in IEICE TRANSACTIONS on Fundamentals, vol. E81-A, no. 4, pp. 626-627, April 1998, doi: .
Abstract: Silva et al. has suggested a criterion based on incidence matrix to verify if a given extended free choice net has a live and bounded marking. This paper shows that this criterion is a necessary and sufficient condition that a given net is a state machine allocatable (SMA) net. This result gives a polynomial algorithm to verify SMA net.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e81-a_4_626/_p

Copy

@ARTICLE{e81-a_4_626,
author={Atsushi OHTA, Tomiji HISAMURA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={An Algebraic Criterion for State Machine Allocatable Nets},
year={1998},
volume={E81-A},
number={4},
pages={626-627},
abstract={Silva et al. has suggested a criterion based on incidence matrix to verify if a given extended free choice net has a live and bounded marking. This paper shows that this criterion is a necessary and sufficient condition that a given net is a state machine allocatable (SMA) net. This result gives a polynomial algorithm to verify SMA net.},
keywords={},
doi={},
ISSN={},
month={April},}

Copy

TY - JOUR
TI - An Algebraic Criterion for State Machine Allocatable Nets
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 626
EP - 627
AU - Atsushi OHTA
AU - Tomiji HISAMURA
PY - 1998
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E81-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 1998
AB - Silva et al. has suggested a criterion based on incidence matrix to verify if a given extended free choice net has a live and bounded marking. This paper shows that this criterion is a necessary and sufficient condition that a given net is a state machine allocatable (SMA) net. This result gives a polynomial algorithm to verify SMA net.
ER -