State observer synthesis of real-time systems modeled by P-time Petri nets.

Patrice Bonhomme

Published in: ETFA (2013)

Keyphrases

petri net
real time systems
embedded real time systems
discrete event systems
colored petri nets
manufacturing systems

embedded systems
state machines
petri net model
real time
reactive systems
object oriented programming language

distributed systems
timing constraints
fuzzy petri net
state space
concurrent systems

process model
fuzzy logic
real time database systems
real time embedded
knowledge representation