Specification of distributed systems using multi-Level Petri nets.
Félix F. RamosFabiel ZúñigaAntonio AlcalaH. Iván PizaPublished in: SMC (2003)
Keyphrases
- distributed systems
- petri net
- colored petri nets
- state machines
- reactive systems
- concurrent systems
- fault tolerant
- sequence diagrams
- manufacturing systems
- petri net model
- distributed computing
- load balancing
- distributed environment
- discrete event systems
- fuzzy petri net
- ims ld
- geographically distributed
- service composition
- formal specification
- state machine
- real time systems
- distributed database systems
- fault tolerance
- web services
- software architecture
- deadlock detection
- mobile agents
- data replication
- cellular automata
- business processes
- stochastic petri net
- data availability
- hardware and software