Specification of Distributed Systems with Actors Using Object Oriented Petri Nets.
Boleslaw MikolajczakArtur OttlikPublished in: Intelligent Information Systems (2002)
Keyphrases
- distributed systems
- petri net
- object oriented
- colored petri nets
- state machines
- reactive systems
- sequence diagrams
- fault tolerant
- petri net model
- concurrent systems
- distributed environment
- discrete event systems
- manufacturing systems
- geographically distributed
- software architecture
- fuzzy petri net
- data model
- mobile agents
- ims ld
- distributed computing
- relational databases
- definition language
- real time systems
- load balancing
- distributed database systems
- stochastic petri net
- software engineering
- formal specification
- conceptual models
- service composition
- multiagent systems
- programmable logic controller
- real time
- workflow model
- data availability
- database applications
- low cost
- fuzzy logic
- expert systems