Generation of Animation Views for Petri Nets in GenGED

Ermel, Claudia; Bardohl, Roswitha; Ehrig, Hartmut

doi:10.1007/978-3-540-40022-6_5

Search citation statements

Order By: Relevance

Paper Sections

Select...

Motivation1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2003

2018

Publication Types

Select...

Book4

Article1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In many cases, the intuitive graphical representation offered by Petri nets, supports a better understanding of the structure and operation of the system under consideration [15]. In the case of modeling larger systems, however, benefits of graphical representation are less evident with an increasing size and complexity of a system.…”

Section: Motivationmentioning

confidence: 99%

Abstraction-enriched Formal Methods Integration

Šimoňák¹,

Uchnár²,

Fecil'ak³

et al. 2018

ACTA POLYTECH HUNG

View full text Add to dashboard Cite

The paper presents the results of our research in the field of combining process algebra and Petri nets. To provide better support for design and analysis of larger-scale systems by means of abstraction mechanism, the method itself and the tools allowing its practical application have been enhanced significantly. The theoretical aspects and implementation of enhancements are discussed in detail. Careful testing, along with the process of implementing the new functionality into one of the involved tools, helped us to disclose its certain hidden imperfections, which are subsequently addressed.

show abstract

Section: Motivationmentioning

confidence: 99%