Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.
Messaoud RahimMalika Boukala-IoualalenAhmed HammadPublished in: PNSE @ Petri Nets (2014)
Keyphrases
- petri net
- sequence diagrams
- activity diagrams
- petri net model
- colored petri nets
- concurrent systems
- class diagram
- conceptual database design
- requirements engineering
- formal methods
- class diagrams
- discrete event systems
- service composition
- manufacturing systems
- requirements specification
- stochastic petri net
- process model
- fuzzy petri net
- life cycle
- model checking
- artificial intelligence
- modeling language
- requirements analysis
- case study