Welcome to EZRealtime

EZRealtime is an environment for modeling Embedded Hard Real-Time Softwares based on a Time Petri Net Methodology [1]. This tool has been designed and is maintained at UFAM (Federal University of Amazon). It uses a model-engineered framework to support Petri Net Markup Language (aka PNML) provided by MoVe - Laboratoire d'Informatique de Paris 6 (LIP6) [2].

The number of Petri net classes and tools has significantly increased over the last four decades. Such diversity represents an advance for the Petri net community. However, due to the use of specific file formats, these tools are usually incompatible. The problem occurs even in tools supporting the same type of Petri nets. The lack of integration among these tools imposes serious limitations on productivity. Therefore, functions for importing/exporting Petri nets from/to other tools are an important requirement nowadays. In order to solve this drawback, PNML has been proposed as an XML-based interchange format for Petri nets. PNML is specified by the second part of ISO/IEC 15909 standard. Its primary purpose is to enable interoperability among Petri net tools. With this standard format, tools should be able to exchange Petri net models, according to the standard specifications.

The implementation of EZRealtime also uses EMF (Eclipse Modeling Framework) wich is a modeling and data integration framework. EMF is a Java framework and code generation facility for building tools and other applications based on a structured model.

The sources for the EZRealtime can be found in the source code repository. A binary distribution will be available soon.

EZRealtime is distributed under the Apache License, version 2.0.

If you are looking for a quick reference, you can use the documentation index.