For the most recent entries see the Petri Nets Newsletter.

Keyword: time complexity

Watanabe, Toshimasa; Mizobata, Yutaka; Onaga, Kenji:
A Petri-Net-Based Algorithm for Proofs in Horn Clause Propositional Logic. 1990.
Watanabe, T.; Mizobata, Y.; Onaga, K.:
Time Complexity of Legal Firing Sequence and Related Problems of Petri Nets. 1989.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography