Haiping Xu, Sol M. Shatz An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. [Citation Graph (0, 0)][DBLP] ISADS, 2001, pp:11-18 [Conf]
Mihir M. Ayachit, Haiping Xu A petri net based XML firewall security model for web services invocation. [Citation Graph (0, 0)][DBLP] Communication, Network, and Information Security, 2006, pp:61-67 [Conf]
Haiping Xu, Sol M. Shatz ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2003, v:10, n:4, pp:337-365 [Journal]
Haiping Xu, Zhiguo Zhang, Sol M. Shatz A Security Based Model for Mobile Agent Software Systems. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:4, pp:719-746 [Journal]