Abstract: This disclosure relates to selectin inhibitors, compositions, and methods related thereto. In certain embodiments, the disclosure relates to glycopeptides that contain one or more modified amino acids conjugated to a saccharide or polysaccharide. In certain embodiments, the disclosure relates to uses of the glycopeptides as anti-inflammatory, antithrombotic, or anti-metastatic agents.

Abstract: This disclosure relates to selectin inhibitors, compositions, and methods related thereto. In certain embodiments, the disclosure relates to glycopeptides that contain one more modified amino acids conjugated to a saccharide or polysaccharide. In certain embodiments, the disclosure relates to uses of the glycopeptides as anti-inflammatory, anti-thrombotic, or anti-metastatic agents.

Abstract: This disclosure relates to selectin inhibitors, compositions, and methods related thereto. In certain embodiments, the disclosure relates to glycopeptides that contain one more modified amino acids conjugated to a saccharide or polysaccharide. In certain embodiments, the disclosure relates to uses of the glycopeptides as anti-inflammatory, anti-thrombotic, or anti-metastatic agents.

Abstract: Petri net models, of systems, communication protocols, and software programs, which include place objects, transition objects, arcs, and initial markings, may be used for testing and verification. To reduce computations, a new unfolding process is performed on the net models. Two or more candidate buffer place interfaces are selected from the input net model. The input net is subdivided with a preliminary cut to form two subnets, wherein the preliminary cut passes through suitable candidate buffer place interfaces, objects of each of the subnets other than the suitable candidate buffer place interfaces are reachable from at least one initial marking, and the subnets do not include a mix of initial and non-initial marking places. Each of the two subnets are unfolded and then joined to form an unfolded net that is behaviorally equivalent to original input net model. The unfolded net is then stored in a storage unit.

Abstract: Petri net models, of systems, communication protocols, and software programs, which include place objects, transition objects, arcs, and initial markings, may be used for testing and verification. To reduce computations, a new unfolding process is performed on the net models. Two or more candidate buffer place interfaces are selected from the input net model. The input net is subdivided with a preliminary cut to form two subnets, wherein the preliminary cut passes through suitable candidate buffer place interfaces, objects of each of the subnets other than the suitable candidate buffer place interfaces are reachable from at least one initial marking, and the subnets do not include a mix of initial and non-initial marking places. Each of the two subnets are unfolded and then joined to form an unfolded net that is behaviorally equivalent to original input net model. The unfolded net is then stored in a storage unit.