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.

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

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.