Sciweavers

1099 search results - page 4 / 220
» Petri net ontology
Sort
View
APN
2003
Springer
14 years 1 months ago
The Petri Net Markup Language: Concepts, Technology, and Tools
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
Jonathan Billington, Søren Christensen, Kee...
JWSR
2007
183views more  JWSR 2007»
13 years 9 months ago
Behaviour-Aware Discovery of Web Service Compositions
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
Antonio Brogi, Sara Corfini
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
14 years 7 days 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
JNW
2010
67views more  JNW 2010»
13 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
APN
2006
Springer
14 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...