1976/10/01 by Toshiro Araki, Tadao Kasami · 1 citation
Computer Science · Mathematics · #Algorithm #Computer science #Decidability #Decision problem #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Mathematics #Petri Nets in System Modeling #Petri net #Process architecture #Reachability #Reachability problem #Stochastic Petri net #Theoretical computer science #Undecidable problem #semigroups and automata theory
paper · doi:10.1016/0304-3975(76)90067-0
crossref issued 1976/10/01 · crossref published 1976/10/01 · crossref published-print 1976/10/01 · openalex publication_date 1976/10/01 · crossref created 2002/07/25 · crossref deposited 2019/04/12 · openalex created_date 2025/10/10 · crossref indexed 2026/01/13 · openalex updated_date 2026/07/23