Sciweavers

969 search results - page 4 / 194
» Recursive Petri nets
Sort
View
FSKD
2011
Springer
301views Fuzzy Logic» more  FSKD 2011»
13 years 9 months ago
Representation of Petri net with OWL DL ontology
—With the wide utilization of Petri nets, many researchers suggest that Petri nets should be reused and shared. Emerging the Semantic Web technologies, such as ontologies, can pl...
Fu Zhang, Z. M. Ma, Slobodan Ribaric
80
Voted
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
14 years 12 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
66
Voted
JNW
2010
67views more  JNW 2010»
14 years 8 months ago
A Petri Net Synthesis Method
—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation ...
Chuanliang Xia
59
Voted
APN
2006
Springer
15 years 1 months ago
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
This paper presents the EXHOST-PIPE software: an extension of PIPE
Olivier Bonnet-Torrés, Patrice Domenech, Ch...
BIRTHDAY
2010
Springer
14 years 6 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier