Sciweavers

638 search results - page 1 / 128
» Animation modeling with petri nets
Sort
View
PPDP
2004
Springer
15 years 5 months 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
97
Voted
CG
1998
Springer
15 years 3 days ago
Animation modeling with petri nets
Léo Pini Magalhães, Alberto Barbosa ...
113
Voted
COCOON
2003
Springer
15 years 5 months 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
124
Voted
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 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
99
Voted
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
15 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