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) 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][*]
The maintainers of this page