-
Validation methodology of layered systems by Petri Nets : application to Tran...
We develop a method to validate concurrent layered systems. We define two concepts : model concordance (the model verifies the specification properties) and service... -
HIGH LEVEL PETRI NETS WITH DATA STRUCTURE
International audience
