We propose a hybrid architecture for the simulation of plants. Its core is a Petri Net executor based on a new class of Petri Nets called Extended Simple Colored Petri Nets. The executor is supervised by an expert system. Our architecture is very well-suited for the software-engineering development of plant simulators, as development times and errors can be dramatically reduced. The validity of...

Petri nets are a discrete event simulation approach developed for system representation, in particular for their concurrency and synchronization properties. Various extensions to the original theory of Petri nets have been used for modeling molecular biology systems and metabolic networks. These extensions are stochastic, colored, hybrid and functional. This paper carries out an initial review ...

Ensuring the correctness of concurrent programs is difficult, since common approaches for program design do not provide appropriate methods. This paper gives a brief introduction to Object Colored Petri Nets, which can be used for modeling the control flow of concurrent programs, for their simulation, and for deriving and proving specific properties. Emphasis will not rely upon the precise form...

Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows in ordinary Petri nets are well known, computing a generative family of positive flows in colored net remains an open problem. We propose in this paper a pragmatic approach that allows us to define an algorithm that comp...

Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting appr...

Answering realistic questions about biological systems and pathways similar to the ones used by text books to test understanding of students about biological systems is one of our long term research goals. Often these questions require simulation based reasoning. To answer such questions, we need formalisms to build pathway models, add extensions, simulate, and reason with them. We chose Petri ...