Diagnosis of Alzheimer’s disease with high accuracy via Petri net modeling of signaling pathways | Synapse