Login / Signup

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets.

Elisabeth Pelz
Published in: Fundam. Informaticae (2018)
Keyphrases
  • timed petri nets
  • discrete event systems
  • discrete event
  • petri net
  • simulation model
  • dynamical systems
  • dynamic systems
  • mathematical modeling
  • experimental data
  • functional dependencies
  • modal logic