
Using Petri nets to verify acyclic rule-based system
{{custom_author.name}}, {{article.zuoZheEn}}
Using Petri nets to verify acyclic rule-based system
[{{custom_ref.label}}] |
{{custom_citation.content}}
|
/
〈 |
|
〉 |