Peter H. Starke

Learn More
This report reflects the state of the art in the analysis of signal-net systems. It is intended to serve as a reference manual for all those interested in this new type of nets. Although the main problems are undecidable, analysis is possible. Introduction Modular modeling of systems is based on a concept of interaction for modules. If the modules are(More)
Petri net tool INA is a well known tool by the Petri net community. However, it lacks a graphical environment to cerate and analyse INA models. Building a modelling tool for the design and analysis from scratch (for INA tool for example) is generally a prohibitive task. Meta-Modelling approach is useful to deal with such problems since it allows the(More)