Formal approach based on petri nets using agent paradigm for m-maintenance.
Khadija AbidLeila Hayet MoussOkba KazarLaïd KahloulPublished in: Int. J. Crit. Comput. Based Syst. (2017)
Keyphrases
- petri net
- contract net protocol
- petri net model
- discrete event systems
- reactive systems
- multi agent
- multi agent systems
- multiagent systems
- manufacturing systems
- colored petri nets
- service composition
- mobile agents
- software maintenance
- decision making
- ims ld
- fuzzy petri net
- state machines
- knowledge base
- programmable logic controller
- concurrent systems
- low cost
- e learning