Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment.
Boleslaw MikolajczakCharles A. SefranekPublished in: SMC (2001)
Keyphrases
- petri net
- object oriented design
- petri net model
- manufacturing systems
- software design
- reactive systems
- discrete event systems
- fuzzy petri net
- case study
- concurrent systems
- colored petri nets
- state machines
- object oriented systems
- formal specification
- service composition
- process model
- knowledge management
- software engineering
- database systems