Simulating Train Dispatching Logic with High-Level Petri Nets

Tehnicki vjesnik - Technical Gazette ◽

10.17559/tv-20190723085606 ◽

2021 ◽

Vol 28 (2) ◽

Keyword(s):

Train Dispatching ◽

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

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 ◽

Author(s):

J. Padberg ◽

P. Schiller ◽

H. Ehrig

Keyword(s):

Control Systems ◽

Application Domain ◽

Train Control ◽

New Concepts ◽

Download Full-text