Login / Signup

Leveraging polyhedral reductions for solving Petri net reachability problems.

Nicolas AmatSilvano Dal-ZilioDidier Le Botlan
Published in: Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
  • petri net
  • manufacturing systems
  • web service composition
  • dynamic programming
  • medical images
  • information processing
  • service composition
  • colored petri nets
  • story generation