Search Sciweavers | Sciweavers

1019 search results - page 95 / 204

» Transformations of Petri Nets

126

click to vote

ICEIS
2007
IEEE

112views Information Technology» more ICEIS 2007»

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets

16 years 18 days ago

Download liris.cnrs.fr

Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar,...

claim paper

Read More »

120

click to vote

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

16 years 14 days ago

Download www.ulb.ac.be

Pierre Ganty, Jean-François Raskin, Laurent...

claim paper

Read More »

136

click to vote

APN
2007
Springer

139views Artificial Intelligence» more APN 2007»

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

16 years 14 days ago

Download www.onera.fr

Marc Boyer, Olivier H. Roux

claim paper

Read More »

115

click to vote

CALCO
2007
Springer

75views Mathematics» more CALCO 2007»

16 years 14 days ago

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

Download www.math.unipd.it

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...

claim paper

Read More »

156

click to vote

DASC
2006
IEEE

205views Applied Computing» more DASC 2006»

Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers