For the most recent entries see the
Petri Nets Newsletter.
Keyword: model composition
Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control Systems.
Availability of CAUTRA, a subset of the French Air Traffic Control system.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography