Application of coloured Petri nets to control of simulation models related to transportation systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25530%2F08%3A00007187" target="_blank" >RIV/00216275:25530/08:00007187 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Application of coloured Petri nets to control of simulation models related to transportation systems
Original language description
Utilisation of coloured Petri nets represents a convenient way for the support related to rapid and flexible prototyping of simulation models and relevant verification. Specific subclass of coloured Petri net is currently used within ABAsim architectureof simulation models that is based on paradigm of reactive agents. The internal logic of decision making components involved in the agents can be formalized with the help of non-hierarchical coloured Petri nets. Applications of ABAsim architecture including Petri nets are namely focused on simulation models reflecting the operation of complex transportation systems
Czech name
Aplikace barvených Petriho sítí pro řízení simulačních modelů dopravních systémů
Czech description
Uplatnění barvených Petriho sítí v procesu tvorby simulačních modelů přispívá k rychlému a flexibilnímu prototypování těchto modelů, jakož i k jejich verifikaci. Pro ABAsim architekturu simulačních modelů (založenou na paradigmatu reaktivních agentů) jeaktuálně testována původní podtřída barvené Petriho sítě, která je určena k popisu logiky řídících komponentů agentů. Uvedená koncepce je ověřována na případových studiích zaměřených na simulace komplexních dopravních systémů.

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)