Sign in

Computing Parameterized Invariants of Parameterized Petri Nets.

Javier EsparzaMikhail A. RaskinChristoph Welzel
Published in: Fundam. Informaticae (2022)
Keyphrases
  • petri net
  • manufacturing systems
  • petri net model
  • discrete event systems
  • high level petri nets
  • fuzzy petri net
  • process model
  • service composition
  • ims ld
  • decision making
  • natural language
  • sequence diagrams