On reachability conditions for unrestricted Petri nets
Published: Dec 30, 2002
Abstract
By using the state equation of a Petri net, the authors derive a sufficient condition for reachability of Petri nets. Then, from this sufficient condition, they show that necessary and sufficient conditions can be derived for reachability of subclasses of a Petri net. The results presented are useful for analyzing many behavioral properties of Petri nets.<
Paper Details
Title
On reachability conditions for unrestricted Petri nets
Published Date
Dec 30, 2002
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.
Notes
History