Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets

Michael Köhler, Jan Ortmann. Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets. In 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria. pages 107-112, IEEE Computer Society, 2005.

Abstract

Abstract is missing.