Zombie state exists now
Create a new date after date=null before use it
- Implement the zombie state
- ReImplement the right behavior according to our petri net model.