IEICE TRANSACTIONS on Fundamentals
An Algebraic Criterion for State Machine Allocatable Nets
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E81-A No.4 pp.626-627
- Publication Date
- 1998/04/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section LETTER (Special Section on Concurrent Systems Technology)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
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.
Cite this
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://global.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 -
English
