Old Web
English
Sign In
Acemap
>
Paper
>
An Algorithm for Petri Nets Reachability by Unfoldings
An Algorithm for Petri Nets Reachability by Unfoldings
1999
Toshiyuki Miyamoto
Shinichi Nakano
Sadatoshi Kumagai
Keywords:
Combinatorics
Branch and bound
Stochastic Petri net
Petri net
Discrete mathematics
Computer science
Reachability
Correction
Cite
Save
Machine Reading By IdeaReader
5
References
1
Citations
NaN
KQI
[]