ALGORITHM FOR THE GENERAL PETRI NET REACHABILITY PROBLEM.

Keyphrases

• Petri Nets 100%
• Reachability Problem 100%
• Approximation Error 50%
• Computational Complexity of Algorithm 50%
• Finite Automata 50%
• Approximation Algorithms 50%
• Reachability 50%
• Tree Construction 50%
• Presburger 50%
• Firing Sequence 50%
• Transition Sequence 50%
• Reachability Tree 50%

Computer Science

• Approximation (Algorithm) 100%
• Reachability Problem 100%
• Petri Net 100%
• Computational Complexity 50%
• Finite Automata 50%
• Approximation Algorithms 50%
• Tree Construction 50%
• Firing Sequence 50%