My school has a ADT/BOSCH burglar alarm system, there is PIRs though that arent a part of the system, as there is old ones that were disconnected and are just there forever guarding the areas they were placed in, and Kantek REX (Request to exit) sensors above every doorway INSIDE the building that have keycard scanners, i have seen them everywhere and they are placed on the other side of the locked doors and when they detect a person under them, they activate making a loud click, and unlock the door for a short amount of time, At first i thought they were a part of the burglar alarm system for a long time but a looked them up and found out what they are for
The vintage, disconnected sensors sort of look like this one but with no power and no panel to be hooked up to
Now onto the working burglar alarm part my school has a combination of a older ADT panel, and BOSCH PIRs and Ademco sirens, and one PIR located in the library is one of the fancy Tritech motion detectors with both motion and infrared