Разница между счетным и двоичным семафором

В чем разница между счетным и двоичным семафором.

Я где-то видел, что оба могут контролировать N процессов, запросивших ресурс. Оба взяли и Свободные штаты.

Существуют ли какие-либо ограничения на количество ресурсов, которые может защитить двоичный семафор и счетный семафор?

Оба позволяют только одному процессу одновременно использовать ресурс...

Есть ли другие отличия? Верны ли вышеупомянутые свойства?