SPECIFICATION AND ANALYSIS RELATED TO A SUBCLASS OF COLOURED PETRI NET APPLIED WITHIN SIMULATION MODELS REFLECTING TRANSPORTATION SYSTEMS
Keywords:
Coloured Petri net, agent-based simulation, transportation systemsAbstract
Specification and analysis related to an original subclass of non-hierarchical coloured Petri net (denoted as ABA-CPN) were recently completed. The mentioned ABA-CPN is currently utilized namely for the description of control layer involved within agent-based simulation models reflecting the operation of transportation and logistic systems. ABA-CPN represents structurally bounded, not reversible and not live Petri net using specific admissible initial markings corresponding to receipts of communication messages. Occurrence graph of a correct ABA-CPN disposes at least of one dead marking representing admissible end state reached after processing of initial marking. Each instance of ABA-CPN is analyzed within CPN Tools software and subsequently within original ABA-CPN-interpreter.
Downloads
References
KAVIČKA, A., KLIMA, V., ADAMKO, N. Simulations of transportation logistic
systems utilizing agent-based architecture, International Journal of Simulation
Modelling, DAAAM International, Vienna, 1 (2007) 13-24.
ADAMKO, N., KAVIČKA, A., KLIMA, V. Agent based simulation of transportation
logistic systems, DAAAM International Scientific Book 2007, Chapter 36, B. Katalinic
(Ed.), DAAAM International, Vienna (2007) 407- 422.
KAVIČKA, A. Petri net with decision transitions applied within ABAsim architecture of
simulation models. In MOSIS’03 – Proceedings of the 37th conference Modelling and
simulation of systems, MARQ, Ostrava (2006) 373-380.
KAVIČKA, A., KLIMA, V., ADAMKO, N. Analysis and optimization of railway nodes
using simulation techniques, In COMPRAIL 2006 – Proceedings of 10th Computer
system design and operation in the railway and other transit system, WIT-Press,
Southampton (2006) 663-672.
JENSEN, K. Coloured Petri nets – basic concepts. Springer Verlag, Berlin (1997)
CPN Tools home page. [online]. [cited on 29 February 2008] Available at:
<http://www.daimi.au.dk/ CPNTools/>.
KAVIČKA, A., ŽARNAY, M. Application of coloured Petri net for agent control and
communication in the ABAsim architecture. In Proceeding of 9th workshop and tutorial
on practical use of coloured Petri nets and the CPN Tools. K. Jensen (Ed.), University of
Aarhus, Aarhus-Denmark (2008) 47-62.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2020 Antonín Kavička, Michal Žarnay
This work is licensed under a Creative Commons Attribution 4.0 International License.
