Integrating object-oriented design with Petri nets-case study of ATM system.
Boleslaw MikolajczakCharles A. SefranekPublished in: SMC (2003)
Keyphrases
- petri net
- object oriented design
- case study
- formal specification
- object oriented systems
- discrete event systems
- software design
- petri net model
- manufacturing systems
- object oriented
- software development
- state machines
- service composition
- colored petri nets
- stochastic petri net
- fuzzy petri net
- knowledge based systems
- concurrent systems
- programmable logic controller
- software maintenance
- database
- building blocks
- distributed systems
- low cost
- knowledge base