Hybrid Low Level Petri Nets in Environmental Modeling — Development Platform and Case Studies

Seppelt, Ralf; Temme, Marco-Michael

doi:10.1007/978-3-642-56585-4_13

Cited by 5 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri Nets are one of the simplest and most successful notations of computer science for the description and analysis of concurrent systems. They have also been applied to the modelling of ecological systems [66], also in combination with Cellular Automata [34].…”

Section: Individual-based Models Using Formal Notationsmentioning

confidence: 99%

Software Engineering and Formal Methods

Canal¹,

Idani²

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. There are two main challenges in developing computational models of a real-world phenomena. One is the difficulty in ensuring clear communication between the scientists, who are the end-users of the model, and the model developers. This results from the difference in their backgrounds and terminologies. Another challenge for the developers is to ensure that the resultant software satisfies all the requirements accurately. Utilising a formal notation such as Z which is easy to learn, read, understand and remember can address these issues by (a) acting as a means to unambiguously communicate between scientists and simulation developers, and (b) providing a basis for systematically producing and maintaining simulation code that meets the specification. In this paper, we describe a translation scheme for producing code for the widely used agent-based simulation environment NetLogo from Z specifications. Additionally, we report on the use of the approach on a real project studying the movement of chyme, i.e. food undergoing digestion, through a pig's intestine as a means of understanding the effect of dietary fibre on human health.

show abstract

Section: Individual-based Models Using Formal Notationsmentioning

confidence: 99%

Software Engineering and Formal Methods

Canal¹,

Idani²

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…One is faced with the problem of mathematical heterogeneity (Seppelt & Temme, 2001) or multi-paradigm models (Villa, 2001). It is not feasible to model integrated systems in the framework of one mathematical theory like ordinary differential equations.…”

Section: Introductionmentioning

confidence: 99%

Additional References

2003

Computer‐Based Environmental Management

View full text Add to dashboard Cite

show abstract

Computer Modeling

Richter¹,

Seppelt²,

Söndgerath³

2006

Encyclopedia of Environmetrics

View full text Add to dashboard Cite

The starting point of computer modeling is the design of a conceptual model . The conceptual model aggregates our knowledge of the system and implies a thorough (albeit subjective) selection of components and processes judged essential for the processes under study in a given spatiotemporal context. A conceptual model is graphically presented in form of a compartment system. Compartments are defined with respect to morphology and to physical, chemical and biological states. A computer model implies the translation of a conceptual model into a code, i.e. an algorithm.

show abstract

Hybrid Low Level Petri Nets in Environmental Modeling — Development Platform and Case Studies

Cited by 5 publications

References 15 publications

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Additional References

Computer Modeling

Contact Info

Product

Resources

About