Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • feature/package
  • master default protected
2 results
Created with Raphaël 2.2.017Oct25Sep11Apr1097654Nov29Oct282526May24Jun23224May20Apr30Maradd support for core model petri netsfeature/packagefeature/packageupdate PNML framework to SNAPSHOT of 2.2.17speed up CIthrow exceptions instead of exiting on errorspublish with sources and javadocadd all pnml dependenciesmove aspects to subdirectory to simplify derived package generationremove markingminor fixesfix problems with jar contentscleanup build filefix tests, clean jaradd CIfix testsWIPWIPMerge branch 'feature/ref-execution' into 'master'mastermasterclean upclean upadded ref-place and ref-transition execution supportfix typoignore fileMerge branch 'master' of git-st.inf.tu-dresden.de:jastadd/pnml-relastadd missing syn in navigation attributesAdd Licenseuse haddadin automaton as example PN, print PNML framework error messagesfix constraint violation: two arcs used the same idthe order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parserpositions, offsets, and line widths must be integers according to the ecore. this is an inconsistency between the spec and the ecore.slightly improved GraphVizvery simple dot visualization addedadd p/t net execution (both in-place and by creating new markings)add second marking grammarmove navigation to new fileuse minimal exampleadd some constraint checkingupdate ecore2relast. enums are now generated automatically.use correct loggingpnml file for the haddadin automatonadd README