@article{HIRAISHI_1988,
    doi = {10.9746/sicetr1965.24.635},
    url = {https://doi.org/10.9746%2Fsicetr1965.24.635},
    year = {1988},
    publisher = {The Society of Instrument and Control Engineers},
    volume = {24},
    number = {6},
    pages = {635--640},
    author = {Kunihiko HIRAISHI and Atsunobu ICHIKAWA},
    title = {A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability is Obtainable},
    journal = {Transactions of the Society of Instrument and Control Engineers}
}

@article{HIRAISHI_1988, doi = {10.9746/sicetr1965.24.635}, url = {https://doi.org/10.9746%2Fsicetr1965.24.635}, year = {1988}, publisher = {The Society of Instrument and Control Engineers}, volume = {24}, number = {6}, pages = {635--640}, author = {Kunihiko HIRAISHI and Atsunobu ICHIKAWA}, title = {A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability is Obtainable}, journal = {Transactions of the Society of Instrument and Control Engineers} }