Department of Applied Mathematics Delhi Technological University Shahbad Daulatpur
2010 年 71 巻 2 号 p. 209-216
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
In this paper, we construct a 1-safe Petri net that generates all the binary n-vectors, possibly with repetitions.
すでにアカウントをお持ちの場合 サインインはこちら