General refinement for high level petri nets

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/bfb0058038 ◽

1997 ◽

pp. 297-311 ◽

Cited By ~ 7

Author(s):

Raymond Devillers ◽

Hanna Klaudel ◽

Robert -C. Riemann

Keyword(s):

Petri Nets ◽

High Level

Systems and software engineering. High-level Petri nets

10.3403/03179777 ◽

2004 ◽

Keyword(s):

Software Engineering ◽

Petri Nets ◽

High Level

Systems and software engineering. High-level Petri nets

10.3403/30240245 ◽

2011 ◽

Keyword(s):

Software Engineering ◽

Petri Nets ◽

High Level

Systems and software engineering - High-level Petri nets

10.3403/30347903 ◽

2019 ◽

Keyword(s):

Software Engineering ◽

Petri Nets ◽

High Level

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):

Petri Nets ◽

Efficient Computation ◽

High Level

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 ◽

Cited By ~ 3

Author(s):

Wallace A. Pinheiro ◽

Geraldo Xexeo ◽

Jano M. de Souza

Keyword(s):

Petri Nets ◽

High Level ◽

Modelling Data

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 ◽

Cited By ~ 37

Author(s):

W.M.P. van der Aalst

Keyword(s):

Petri Nets ◽

High Level

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 ◽

Cited By ~ 5

Author(s):

Lei Lei ◽

Huijian Wang ◽

Chuang Lin ◽

Zhangdui Zhong

Keyword(s):

Performance Analysis ◽

Petri Nets ◽

Orthogonal Frequency Division Multiplexing ◽

Channel Model ◽

Wireless Channel ◽

Cross Layer ◽

Frequency Division Multiplexing ◽

Frequency Division ◽

Wireless Channel Model ◽

High Level

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 ◽

Petri Nets ◽

Complex Information ◽

Systematic Development ◽

High Level

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 ◽

Petri Nets ◽

High Level

New Concepts for High-Level Petri Nets in the Application Domain of Train Control Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)38135-1 ◽

2000 ◽

Vol 33 (9) ◽

pp. 125-132 ◽

Cited By ~ 2

Author(s):

J. Padberg ◽

P. Schiller ◽

H. Ehrig

Keyword(s):

Petri Nets ◽

Control Systems ◽

Application Domain ◽

Train Control ◽

New Concepts ◽

High Level