Sciweavers

Share
108 search results - page 1 / 22
» Evolving Concurrent Petri Net Models of Epistasis
Sort
View
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
9 years 2 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta
JCSC
1998
159views more  JCSC 1998»
8 years 11 months ago
An Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
A. Newman, Sol M. Shatz, X. Xie
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
9 years 5 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
FM
2009
Springer
106views Formal Methods» more  FM 2009»
9 years 6 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
APN
2015
Springer
3 years 7 months ago
Negotiations and Petri Nets
Negotiations have recently been introduced as a model of concurrency with multi-party negotiation atoms as primitive. This paper studies the relation between negotiations and Petri...
Jörg Desel, Javier Esparza
books