1991/01/01 by Antti Valmari · 2 citations
Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Algorithm #Computer science #Concurrency #Distributed computing #Formal Methods in Verification #Invariant (physics) #Liveness #Mathematics #Petri Nets in System Modeling #Petri net #Programming language #Reachability #Set (abstract data type) #State (computer science) #State space #Stochastic Petri net #Theoretical computer science #Transition system
paper · doi:10.1007/3-540-53863-1_36
crossref issued 1991/01/01 · crossref published 1991/01/01 · crossref published-print 1991/01/01 · openalex publication_date 1991/01/01 · crossref published-online 2005/06/08 · crossref created 2012/02/25 · crossref deposited 2021/12/31 · openalex created_date 2025/10/10 · crossref indexed 2026/07/16 · openalex updated_date 2026/07/29