Sciweavers

638 search results - page 1 / 128
» Animation modeling with petri nets
Sort
View
PPDP
2004
Springer
14 years 6 days ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
CG
1998
Springer
13 years 6 months ago
Animation modeling with petri nets
Léo Pini Magalhães, Alberto Barbosa ...
COCOON
2003
Springer
14 years 2 days ago
Petri Nets with Simple Circuits
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
Hsu-Chun Yen, Lien-Po Yu
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 7 days 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
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
13 years 9 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