Analysing Product Lines of Concurrent Systems with Coloured Petri Nets.
Elena Gómez-MartínezEsther GuerraJuan de LaraPublished in: SEKE (2022)
Keyphrases
- concurrent systems
- coloured petri nets
- product lines
- product line
- formal verification
- model checking
- software systems
- software product line
- temporal logic
- management practices
- distributed systems
- process algebra
- software development
- formal specification
- transition systems
- petri net
- life cycle
- case study
- project management
- database systems
- software architecture
- open source
- relational databases