Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.
Boleslaw MikolajczakZuyan WangPublished in: ER (2003)
Keyphrases
- concurrent systems
- petri net
- conceptual modeling
- data abstraction
- process model
- semantic data models
- petri net model
- process algebra
- concurrent processes
- conceptual models
- information systems
- service composition
- fuzzy petri net
- colored petri nets
- object oriented
- conceptual model
- entity relationship
- data model
- stochastic petri net
- web service composition
- database technology
- software engineering
- high level
- ims ld
- temporal logic
- database design
- distributed systems
- database systems