Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens

DOI10.1007/s10559-018-0066-4zbMath1445.68141OpenAlexW2884905799MaRDI QIDQ1616270

M. M. Glybovets, O. M. Maksymets, D. K. Hlomozda

Publication date: 1 November 2018

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-018-0066-4

zbMATH Keywords

grid structurefinite-state machinesDiophantine equationscolored Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• CPN/Tools
• LoLA
• ProM
• GitHub
• CpnToUnit
• FSM

Cites Work

• Coloured Petri nets and the invariant-method
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation
• Coloured Petri Nets
• Unnamed Item
• Unnamed Item