Combining Petri Nets and UML for Model-based Software Engineering.
João M. FernandesPublished in: ACSD/Petri Nets Workshops (2010)
Keyphrases
- petri net
- software engineering
- sequence diagrams
- software systems
- software development
- unified modeling language
- petri net model
- formal methods
- manufacturing systems
- discrete event systems
- object oriented
- service composition
- colored petri nets
- software architecture
- artificial intelligence
- stochastic petri net
- fuzzy petri net
- state machines
- reverse engineering
- software engineers
- conceptual modeling
- information systems
- programmable logic controller
- embedded real time systems
- ims ld
- software maintenance
- process model
- concurrent systems
- software design
- design patterns
- development process