SamaTulyata
Overview
Entry last updated: 2018/8/22
Entry last validated: 2018/8/22
Tool homepage: https://github.com/soumyadip-HPI/SamaTulyata/
Tool availability:
Tool Features
Petri Nets Supported (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
-
Components (see also help on terminology)
Environments
Tool Description
Prototype of CPN Equivalence checkers
Contact Information
Name: Dr. Soumyadip Bandyopadhyay
Company/Institution: Hasso Plattner Institute
Street: Prof.-Dr.-Helmert-Str. 2 - 3
City/State/Postal code: Potsdam, 14482
Country: germany
Phone: +49 1626304191
Fax: Remember country code
E-mail: soumyadip.bandyopadhyay@hpi.de
Other Remarks
![[PN Home]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page