Development of real-time system specifications through the refinement of duration interval Petri nets.
Daniel GurovicWolfgang FenglerJürgen NützelPublished in: SMC (2000)
Keyphrases
- petri net
- embedded real time systems
- real time
- state machines
- concurrent systems
- petri net model
- manufacturing systems
- colored petri nets
- discrete event systems
- fuzzy petri net
- software engineering
- reactive systems
- service composition
- embedded systems
- process model
- control system
- expert systems
- discrete dynamical systems
- neural network
- ims ld
- control flow
- production system
- design process
- knowledge base
- decision making
- stochastic petri net