Background
Conference/Workshop/Journal Organization
Selected Publications
Memberships
Curriculum Vitae

Background

His general research topic is collective work (see also "Emergent Collectives for Work and Play"), and his research focuses on the use of web services to create and support Virtual Enterprises with Dynamic Web Service Integration. This is summarized as the World Wide Wizard vision and also reflected in the recent talk and paper "The Future of the Internet is Coordination".

He has collaborated with STI Innsbruck and DERI Galway and was an Advisor to SAP's Enterprise Services Community. Dr. Petrie has also consulted with companies such as HP, Siemens, Volkswagen, DaimlerChrysler, CommerceNet, and Commerce One on advanced IT technologies. He has been a member of the Technology Advisory Group of DaimlerChrysler. He has worked on Stanford projects with SAP and some of the POEM project results are now reflected in SAP products. In 2012, he was a Guest Professor at the Karlsruhe Institute of Technology and the University of St. Gallen (HSG). He continued as a Sr. Research Scientist at HSG until 2016.

In addition, until 2017, he was the Operations Manager for the Black Rock Municipal Airport, managing about 300 volunteers. The BRMA, in addition to being a busy airport (approximately 68th in the US for a few days), is also a 2nd gate into the event, running box office, gate, greeting, perimeter/ramp security, and general office functions. He initiated the first airport organization, the Ministry of Customs, and, with other founding volunteers, the first manuals defining the functions of airport roles. The BRMA designated 88NV: an FAA- and Nevada DOT- inspected airport.

Work History

Jun 2018 - 2019, consultant to Fraunhofer FOKUS, working on the SANCTUM project.

Jan 2013 - 2016, Technical Staff, HSG, working on business innovation using Design Thinking and has lectured on the barriers to innovation in large companies, as well as coaching students in Design Thinking.

Nov-Dec 2012 Guest Professor at the University of St. Gallen. (HSG)

Feb-Oct 2012 Guest Professor at the Karlsruhe Institute of Technology.

2002-2011: Sr. Research Scientist working with Professor Michael Genesereth in the Stanford Computer Science Department. Now official Stanford retiree.

2005-2007: Consulting Associate Professor working with Professor Larry Leifer at the Center for Design Research in a research cooperation with the Volkswagen AutoUni.

1999-2004: Executive Director, 2004-2005 Staff Scientist for the Stanford Networking Research Center. Performed a start-up operation and was within the year the largest research center in the Stanford School of Engineering. After working in this administrative capacity and the organization was mature, he transitioned back to research. As Staff Scientist, he conducted the SNRC Industry Seminar Series

1993-1999: Sr. Research Scientist at the Center for Design Research (CDR) at Stanford. Research interests: agent-based distributed process coordination, with emphasis on concurrent planning and design, using agents with shared models for change propagation. While there, he was also one of the founding council members of the WWW Virtual Library, starting the Mechanical Engineering section.

In cooperation with Professors Larry Leifer and Mark R. Cutkosky, Dr. Petrie was part of the DARPA experiment in distributed engineering: MADEFAST. At the CDR, he implemented a generic process coordination server, called Redux', that forms the basis for a agent-based engineering framework, called ProcessLink, for the coordination of heterogeneous engineering design tools. The first application was a distributed system for the design of aircraft electrical cable systems. The project was design of consumer electronics for Toshiba. A major result of this agent-based engineering work was the JATLite agent infrastructure.

From April, 1984, until September, 1993, Dr. Petrie was Senior Member, Technical Staff, at the Microelectronics and Computer Technology Corporation ( MCC). He was the first person hired by Professor Woody Bledsoe for the AI Lab there, worked for Dr. Elaine Rich, and led the Proteus Project, which developed an advanced hybrid reasoning system and was the first technology to be used commercially by MCC shareholders.

Dr. Petrie is also experienced in technology transfer issues and is the subject of a case study, "Technology Transfer and MCC", in R&D Collaboration on Trial, Gibson, David V. and Rogers, Everett M., Harvard Business School Press, 1994. Dr. Petrie also worked with the MCC EINet project in developing E-commerce technology. He holds a patent for using crytographic techniques for insuring delivery of software products over the Internet (5509071).

Prior to MCC, Dr. Petrie was a project manager for Sperry Univac, and a specialist in performance analysis and benchmarking of mainframes for distributed networked systems and seismic processing.

He has a B.S. in Mathematics from LSU and a M.S. and Ph.D. in Computer Science from the University of Texas at Austin in Austin, Texas. His advisor was Prof. Robert Simmons. He has published extensively in the field of knowledge representation, truth maintenance, constraint satisfaction, and inferencing architectures. He has served and as a reviewer, guest editor, and/or program committee member for IEEE, AIEDAM, CERA, AI, AAAI, IJCAI, ECAI, ISWC, and CAIA. He has co-taught ME394: Computational Support for Team Design.

Guest Professor Courses Taught:

• Service-Oriented Computing, Summer Semester 2012 University of Karlsruhe.
• Seminar on Semantic Service Composition Winter Semester 2008/2009 University of Potsdam.

• Editor-In-Chief (Emeritus) IEEE Internet Computing
• The author and editor for the Peering column 2005-2017.
• Co-Editor Special Issue on Future Internet Protocols - November/December 2012
• Co-Editor Special Issue on Personal Health Records - July/August 2011
• Co-Editor Special Issue on Business Processes on the Web - Jan/Feb 2004
• Co-Editor Special Issue on Mobile Applications - March/April 2003
• Co-Editor Special Issue on Internet-Based Workflow May/June 2000
• Keynote: Keynote: Strategic IT-Management, Sofitel Munich Bayerpost, München, 23-25 January 2012.
  " Future of the Internet: Coordinating Collective Work"
  based on: "The Future of the Internet is Coordination",
  in Chinese, translation courtesy of Elisa Liang, 1st International Future Future Enterprise Systems Workshop (FES2010), Berlin, September, 2010.
• Invited talk: DOM-5 Konferenz 29.9, Workshops 30.9-2.10, 2011 Linz, Austria: The Conscious Organization
• Keynote: IEEE Semantic Web Services in Practice (SWSIP 2009) Workshop
  Singapore, 7-11 December 2009.
• Keynote: at Semantic Matchmaking workshop 11 November, 2007, Busan, Korea, at the Internat. Semantic Web Conference
• Keynote: CONQUEST 2007 - 26-28 September, Potsdam, Germany.
• Keynote: Fourth Intnl. Workshop on Semantic Web for Services and Proceses (SWSP07) - 9-13 July 2007, Salt Lake City, Utah.
• Editorial Board Autonomous Agents and Multi-Agent Systems
• Co-Chair RuleML 2011 Challenge.
• Chair - Semantic Web Services Challenge 2006-2009
• Co-Chair THESEUS Symposium "Workshop on Service Description Languages". Berlin, 29-30 June 2009.
• Program Committee - RuleML Challenge Ft. Lauderdale, FL, USA, 3-5 Nov 2011.
• Program Committee - The Montreal Conference on e-Technologies, 2006-2008 Montreal (Quebec) Canada
• Participant: Workshop on Service Oriented Computing, Dagstuhl, Germany, November, 2005.
• Keynote: , The Montreal Conference on e-Technologies, 20-21 Jan 2005, Montréal, Canada
• Member Steering Committee ICEIMT-04
• Invited Talk by Computer Research Institute of Montreal (CRIM) , February, 2004
• International Liaison Chair and Program Committee - The First International Conference on Service-Oriented Computing (ICSOC-03) , 15-18 December 2003, Trento, Italy
• Keynote: ICWS-Europe'03 22-25 September, 2003 Erfurt, Germany
• Program Committee ICIW WEBSA 2006: Web Services-based Systems and Applications, February 23-25, 2006 Guadeloupe, French Caribbean
• Program Committee - Knowledge Management for Distributed Agile Processes:
         Models, Techniques, and Infrastructure (KMDAP2003) 9-11 June, 2003, Linz, Austria
  and KMDAP2004 14-16 June 2004, Modena, Italy
• Program Committee - Web Services, e-Business, and the Semantic Web (WES): 6-17June, 2003, Klagenfurt/Velden, Austria
• Co-Chair WWW2003 Workshop Emerging Applications for Wireless and Mobile Access, May 2003, Budapest, Hungary
• Keynote: presented at
  Business Services Registry Workshop , May 2003, Stanford Universtity
• at AAAAI Spring Symposium on Agent-mediated Knowledge Management, March 2003, Stanford Universtity, and at Net.ObjectDays2003
  22-25 September, 2003 Erfurt, Germany. Published in "Agent-Mediated Knowledge Management", ed. L. van Elst, V. Dignum, A. Abecker, Springer-Verlag, Heidelberg, DE, 2003.
• Invited Speaker Real-time Enterprise Realization through Web Services,
  Berkely Haas School of Business, June 2002
• Invited Speaker "Secret Communications of Invisible Agents ", Universtiy of Kaiserslautern, July, 2002.
• Program Committee AID 02 Workshop on Semantic Web Technology
  for Intelligent Design and Engineering Support 2002
• Program Committee Workshop on Web Services and e-Business Technology
• Program Committee Business Information Systems2002
• Program Committee Workshop on Web Services, e-Business, and the Semantic Web 2002
• Tutorial Chair Semantic Web 2001
• Invited Talk: "The Wireless Internet does not mean 3G" presented at the conference on Seamless Mobility , 2001, Stockholm, Sweden
• Program Committee Engineering of e-Business Applications , 2001
• Keynote: PAAM 2000 , 2000, Manchester
• Program Committee ASA'99 , 1999
• Program Committee Workflow and Process Management - 1-2 August Stockholm, Sweden,    IJCAI'99
• Co-Chair IATA'99 - 9-11 Aug 99 Stockholm, Sweden
• Program Committee Agent-Based Systems in The Business Context - 18-22 Jul 99, Orlando,    AAAI'99
• Co-Chair WET ICE '98 , 1998
• Co-Chair ICDCS-98, 1998
• Co-Chair IATA-98
• Invited Speaker, ICMAS'98
• Program Committee AAA-97 Workshop on Constraints and Agents. 1997
• General Chair 1996 IEEE WETICE - '96, 98
• Organizer WET ICE '96 Project Coordination Workshop. 1966
• Organizer AID-96 Agents and Web-Based Design Environments. 1966
• Co-Editor CERA Special Issue on Agents for Concurrent Engineering, 1996
• Program Committee Plug and Play Software for Agile Manufacturing, 1966
• Organizer OOPSLA'95 Workshop: Objects, Scripts and the Web, 1995
• Keynote: XPS-95 German Nation Conf. on Intelligent Systems, Kaiserslautern, 1995
• Keynote: AID-94 Workshop on Conflict Management, 1994
• Chair 1994 CAIA Workshop on Coordinated Design and Planning, 1994
• Chair AAAI-92 Workshop on AI in Enterprise Integration, 1992
• Program Chair ICEIMT First International Conference on Enterprise Integration Modeling Technology, 1992

"A New AI", IEEE Internet Computing 25:(2), pp 93-100, March/April 2021. © IEEE doi.org/10.1109/MIC.2021.3063025
In Chinese, courtesy of Elisa Liang.

"AI Planning Applied to GIS-based Disaster Response", with Agnès Voisard, in Proc. MGIS'19, Chicago, IL, USA, ACM, November 2019.
doi.org/10.1145/3356998.3365761

Web Service Composition, Springer Computer Science, March (2016) ISBN: 978-3-319-32831-7 (978-3-319-32833-1 for e-book)

User, Use & Utility Research : The digital user as new design perspective in Business & Information Systems Engineering, Business & Information Systems Engineering BISE (2014).

Automated Configuration Problem Solving, SpringerBriefs in Computer Science, (2012). DOI: 10.1007/978-1-4614-4532-6_1.
Free pre-publication version.

"Enterprise Coordination on the Internet" in Future Internet 3(1), pp. 49-66; DOI:10.3390/fi3010049. Published: 17 February 2011. http://www.mdpi.com/1999-5903/3/1/49/.

"Semantics for Smart Services", with Hochstein and Genesereth. In H. Demirkan, J.C. Spohrer and V. Krishna (eds.), The Science of Service Systems, Springer, pp. 91-105 (2011); DOI: 10.1007/978-1-4419-8270-4.

"Planning Process Instances with Web Services", Proc. ICEIS, 31:41, SciTePress, May 2009.
dx.doi.org/10.5220/0002171400310041

"Semantic Email Addressing: The Killer App?", with Kassoff, Zen, and Genesereth. IEEE Internet Computing,13:1, 2009.

Semantic Web Services Challenge: Results from the First Year with Margaria, Lausen, and Zaremba (Eds.), Springer Series: Semantic Web and Beyond , 8, 2009, XXII, 290 p., ISBN: 978-0-387-72495-9

"On the Evaluation of Semantic Web Service Frameworks," with Küster, König-Ries, and Klusch, Internat. Journal on Semantic Web and Information Systems, 4:4, IGI Publishing 2008, pp 31-55.

"Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation," , with Henrich et al., Lecture Notes in Computer Science, 3278, p. 159, Springer-Verlag Heidelberg, November 2004.

"Distributed Coordination of Project Schedule Changes using Agent-based Compensatory Negotiation," with Kim et al.,AIEDAM, 2003.