Parallel program design using high-level Petri nets

Concurrency Practice and Experience ◽

10.1002/cpe.4330050202 ◽

1993 ◽

Vol 5 (2) ◽

pp. 87-104 ◽

Cited By ~ 5

Author(s):

Ian Gorton

Keyword(s):

Petri Nets ◽

Program Design ◽

Parallel Program ◽

High Level

Download Full-text

Space-based parallel program design process with high-level communication channels

Journal of the Chinese Institute of Engineers ◽

10.1080/02533839.2017.1308275 ◽

2017 ◽

Vol 40 (4) ◽

pp. 347-354

Author(s):

Tsung Lee ◽

Yao-Yi Huang

Keyword(s):

Design Process ◽

Program Design ◽

Communication Channels ◽

Parallel Program ◽

High Level

Download Full-text

Systems and software engineering. High-level Petri nets

10.3403/03179777 ◽

2004 ◽

Keyword(s):

Software Engineering ◽

Petri Nets ◽

High Level

Download Full-text

Systems and software engineering. High-level Petri nets

10.3403/30240245 ◽

2011 ◽

Keyword(s):

Software Engineering ◽

Petri Nets ◽

High Level

Download Full-text

Systems and software engineering - High-level Petri nets

10.3403/30347903 ◽

2019 ◽

Keyword(s):

Software Engineering ◽

Petri Nets ◽

High Level

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

Petri Nets ◽

Efficient Computation ◽

High Level

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 ◽

Cited By ~ 3

Author(s):

Wallace A. Pinheiro ◽

Geraldo Xexeo ◽

Jano M. de Souza

Keyword(s):

Petri Nets ◽

High Level ◽

Modelling Data

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 ◽

Cited By ~ 37

Author(s):

W.M.P. van der Aalst

Keyword(s):

Petri Nets ◽

High Level

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 ◽

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

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 ◽

Petri Nets ◽

Complex Information ◽

Systematic Development ◽

High Level

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 ◽

Petri Nets ◽

High Level

Download Full-text