Our Approach to Formal Verification of Token Economy Models The tokenomic modeling is one of the most efficient approaches for understanding and prediction of its subjectxe2x80x99s behavior. There are many tools for simulation modeling of behavior in different domains but there is lack of examples in literature on the usage for tokenomic modeling. The paper considers the formal methods approach for tokenomic modeling. Thus, this article provides a brief description of the technology and the methods and tools developed by the authors for token economy modeling and for the analysis and study of its properties. The article also describes the formalization of the tokenomics model on the example of the SKILLONOMY project and presents the specific and symbolic SKILLONOMY models and its simulation results. The formalization and properties analysis is considered with usage of insertion modeling platform.

The Exchange Network: An Architecture for the Negotiation of NonRepudiable Token Exchanges Many use cases coming out of initiatives such as Industry 4.0 and Ubiquitous Computing require that systems be able to cooperate by negotiating about and agreeing on the exchange of arbitrary values. While solutions able to facilitate such negotiation exist, they tend to either be domainspecific or lack mechanisms for nonrepudiation, which make them unfit for the heterogeneity and scale of many compelling applications. In this paper, we present the Exchange Network, a generalpurpose and implementationindependent architecture for digital negotiation and nonrepudiable exchanges of tokens, which are symbolic representations of arbitrary values. We consider the implications of implementing the architecture in three different ways, using a common database, a blockchain, and our own Signature Chain data structure, which we also describe. We demonstrate the feasibility of the architecture by outlining our own implementation of it and also describe a supplychain scenario inspired by one transportation process at Volvo Trucks.