Indonesia terkenal sebagai negara agraris karena memiliki sumber daya alam melimpah yang didukung dengan tanah subur sehingga masyarakatnya mayoritas bermatapencaharian sebagai petani. Salah satu hasil pertanian yang berkontribusi terhadap kemiskinan di Indonesia yaitu beras. Beras dengan mudah dapat ditemukan di pasar baik pasar tradisional maupun pasar modern, namun ditengah pandemi virus corona (COVID-19) sekarang ini membuat orang merasa takut untuk pergi ke pasar karena pasar merupakan salah satu klaster terbesar penularan covid-19. Salah satu inovasi teknologi yang telah banyak digunakan dalam dunia perniagaan yaitu vending machine (VM). VM merupakan sebuah mesin penjualan otomatis yang biasanya terdapat di tempat ramai dan strategis. Hal ini yang mendasari untuk pembuatan simulasi VM beras dan diharapkan dapat menjadi salah satu solusi pemutus penyebaran dan penularan covid-19. Simulasi VM beras ini dapat melakukan penjualan otomatis beras dengan masukkan berupa uang kertas atau dengan e-money dan keluarannya berupa struk bukti pembelian beras dan 5 jenis beras. Metode yang digunakan yaitu Finite State Automata (FSA) jenis Non-deterministic Finite State Automata (NFA) yang didefinisikan lima tupel, dengan rumus: M = (Q, ?, ?, S, F). NFA dipilih karena dapat menjelaskan konsep kerja secara rinci sehingga mudah dipahami dan hasil dari FSA dapat dibuat konsep logika sederhana untuk implementasi.

The aim of this research is to describe the role of Perum Perhutani in tenurial conflict resolution in the forest area of Perum Perhutani Kesatuan Pemangkuan Hutan (KPH) Semarang, especially in Resort Pemangkuan Hutan Ringinpitu Bagian Kesatuan Pemangkuan Hutan (BKPH) Tanggung using descriptive methods with in-depth interview, observation and documentation. The informants are the inhabitants of the Ringinpitu village Tanggungharjo District Grobogan Residence and officers from Perum Perhutani. Data analysis technique used is qualitative data analysis. Perum Perhutani has implemented Collaborative Forest Management (PHBM) as a strategy for tenurial conflict resolution and can be classified as problem solving strategy and conflict resolution alternative. Dynamics of the approach used in conflict resolution in RPH Ringinpitu start with a legal approach as well as public consultation, mediation and negotiation. RPH Ringinpitu uses three of four kinds of conflict resolution alternatives which are public consultation, mediation and negoitation.