Combining Petri Nets and UML for Model-based Software Engineering.

João M. Fernandes

Published 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