Abstract
This paper introduces Petri Net Basis Analyzer (PNBA), a software for Petri net analysis using basis marking approaches. PNBA has four functional modules that are TE Generator, BRG Generator, Sequence Designer, and Marking Estimator. The highlight of PNBA is that it is portable and instantly usable, i.e., one does not need to establish platforms, set environments, or install compilers before using it. PNBA has a concise graphical interface, which makes it easy to get started for users without programming knowledge. It accepts several input forms – either plain text files or .ndr files created by TINA toolbox – and provides multiple way of human-friendly outputs which are easy for users to read and analyze.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
