https://github.com/egri-nagy/pn2a

Converting Petri nets to finite state automata in the GAP computer algebra system
https://github.com/egri-nagy/pn2a

gap petri-net semigroup

Last synced: 4 months ago
JSON representation

Converting Petri nets to finite state automata in the GAP computer algebra system

• Host: GitHub
• URL: https://github.com/egri-nagy/pn2a
• Owner: egri-nagy
• Created: 2015-07-03T01:43:21.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2023-03-09T04:21:43.000Z (about 3 years ago)
• Last Synced: 2025-10-04T14:40:25.080Z (8 months ago)
• Topics: gap, petri-net, semigroup
• Language: GAP
• Homepage:
• Size: 694 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog

Awesome Lists containing this project

README

          
# pn2a

##  Converting Petri nets to finite state automata in the GAP computer algebra system 

A small package to generate finite transformation semigroup representation of discrete Petri nets.

Those semigroups then can be decomposed by the SgpDec package (https://github.com/egri-nagy/sgpdec).

the package is used by the BIOMICS (Biological and Mathematical Basis of Interaction Computing) project (http://www.biomicsproject.eu/).

GAP https://github.com/gap-system