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

International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06) ◽

10.1109/cimca.2005.1631250 ◽

2006 ◽

Author(s):

M. Kohler ◽

J. Ortmann

Keyword(s):

Service Modeling ◽

Semantic Service ◽

Download Full-text

Systems and software engineering. High-level Petri nets

10.3403/03179777 ◽

2004 ◽

Keyword(s):

Software Engineering ◽

Download Full-text

Systems and software engineering. High-level Petri nets

10.3403/30240245 ◽

2011 ◽

Keyword(s):

Software Engineering ◽

Download Full-text

Systems and software engineering - High-level Petri nets

10.3403/30347903 ◽

2019 ◽

Keyword(s):

Software Engineering ◽

Download Full-text

Efficient computation of enabled transition bindings in high-level Petri nets

SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166) ◽

10.1109/icsmc.2000.886480 ◽

2002 ◽

Author(s):

M.J. Sanders

Keyword(s):

Efficient Computation ◽

Download Full-text

Autonomic Patterns: Modelling Data Killing Patterns Using High-Level Petri Nets

Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08) ◽

10.1109/icas.2008.9 ◽

2008 ◽

Author(s):

Wallace A. Pinheiro ◽

Geraldo Xexeo ◽

Jano M. de Souza

Keyword(s):

Download Full-text

Putting high-level Petri nets to work in industry

Computers in Industry ◽

10.1016/0166-3615(94)90031-0 ◽

1994 ◽

Vol 25 (1) ◽

pp. 45-54 ◽

Author(s):

W.M.P. van der Aalst

Keyword(s):

Download Full-text

Wireless channel model using stochastic high-level Petri nets for cross-layer performance analysis in orthogonal frequency-division multiplexing system

IET Communications ◽

10.1049/iet-com.2014.0394 ◽

2014 ◽

Vol 8 (16) ◽

pp. 2871-2880 ◽

Author(s):

Lei Lei ◽

Huijian Wang ◽

Chuang Lin ◽

Zhangdui Zhong

Keyword(s):

Performance Analysis ◽

Orthogonal Frequency Division Multiplexing ◽

Channel Model ◽

Wireless Channel ◽

Cross Layer ◽

Frequency Division Multiplexing ◽

Frequency Division ◽

Wireless Channel Model ◽

Download Full-text

Applications of high-level Petri nets in systematic development of complex information systems

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) ◽

10.1109/icsmc.1999.814202 ◽

2003 ◽

Author(s):

B. Mikolajczak

Keyword(s):

Information Systems ◽

Complex Information ◽

Systematic Development ◽

Download Full-text

Automated construction of compound Markov chains from generalized stochastic high-level Petri nets

10.1109/pnpm.1989.68543 ◽

2003 ◽

Author(s):

J.A. Carasco

Keyword(s):

Markov Chains ◽

Download Full-text

Semantic Service Modeling: Enabling System Interoperability

Enterprise Interoperability ◽

10.1007/978-1-84628-714-5_21 ◽

2007 ◽

pp. 221-230 ◽

Author(s):

Stanislav Pokraev ◽

Dick Quartel ◽

Maarten W. A. Steen ◽

Manfred Reichert

Keyword(s):

Service Modeling ◽

System Interoperability ◽

Semantic Service

Download Full-text