Specification of distributed systems with actors using object-oriented Petri nets.
Boleslaw MikolajczakArtur OttlikPublished in: SMC (2000)
Keyphrases
- distributed systems
- petri net
- object oriented
- colored petri nets
- reactive systems
- state machines
- petri net model
- sequence diagrams
- concurrent systems
- fault tolerant
- geographically distributed
- discrete event systems
- load balancing
- distributed environment
- database applications
- service composition
- conceptual models
- distributed computing
- fuzzy petri net
- relational databases
- definition language
- mobile agents
- data model
- manufacturing systems
- object oriented database systems
- software engineering
- software architecture
- real time systems
- programmable logic controller
- stochastic petri net
- web services
- formal specification
- fuzzy sets
- expert systems