Sciweavers

1019 search results - page 95 / 204

» Petri Net Transformations in the

21

ICEIS
2007
IEEE

112views Information Technology» more ICEIS 2007»

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

14 years 2 months ago

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

Download liris.cnrs.fr

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

claim paper

Read More »

20

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

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

14 years 2 months ago

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

Download www.ulb.ac.be

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

claim paper

Read More »

22

APN
2007
Springer

139views Artificial Intelligence» more APN 2007»

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

14 years 2 months ago

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

Download www.onera.fr

Marc Boyer, Olivier H. Roux

claim paper

Read More »

16

CALCO
2007
Springer

75views Mathematics» more CALCO 2007»

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

14 years 2 months 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 »

24

DASC
2006
IEEE

205views Applied Computing» more DASC 2006»

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

14 years 1 months ago

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

Download pdc.ece.uprm.edu

Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wi...

claim paper

Read More »

« Prev « First page 95 / 204 Last » Next »