Sign in

Lifted structural invariant analysis of Petri net product lines.

Elena Gómez-MartínezEsther GuerraJuan de LaraAntonio Garmendia
Published in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
  • petri net
  • colored petri nets
  • web service composition
  • cooperative
  • query language
  • software engineering
  • rough sets
  • collaborative learning
  • manufacturing systems
  • discrete event systems