A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets

Yue Su, Liang Qi, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics

Earth and Planetary Sciences